A filter lambda model and the completeness of type assignment (1983)

by M Coppo
Venue:Journal of Symbolic Logic