Coppo M., Dezani M. [1983] "A filter lambda model and the completeness of type assignment (0)

by H Barendregt
Venue:J. Symb. Logic