Some extensional term models for combinatory logics and λ-calculi (1971)

by H P Barendregt