An inverse of the evaluation functional for typed (1991)

by U Berger, H Schwichtenberg
Venue:In 6th Annual Symposium on Logic in Computer Science