The completeness theorem for typing lambda-terms (1983)

by R Hindley
Venue:Theoretical Computer Science