Types in Lambda Calculus and Programming Languages (1990)

by H P Barendregt, K Hemerik
Venue:In European Symposium on Programming (ESOP), p. 1--35. Springer-Verlag, Lecture Notes in Computer Science 432