1983] "The completeness theorem for typing lambda-terms (0)

by R Hindley
Venue:Theor. Comp. Sci