Some extensional term models for combinatory logics and labda - calculi
Some extensional term models for combinatory logics and labda - calculi / by Hendrik Pieter Barendregt ; [with a summary in Dutch]