An inverse of the evaluation functional for typed -calculus (1991)

by U Berger, H Schwichtenberg
Venue:Proceedings of the 6th IEEE Symposium on Logic in Computer Science (LICS