1984] "Completeness of type assignment in continuous lambda-models (0)

by M Coppo
Venue:Theor. Comp. Sci