Rum: An intensional theory of function and control abstractions (1986)

by C Talcott
Venue:In Proc. 1987 Workshop on Foundations of Logic and Functional Programming. Springer Lecture