The Essence of Rum---A Theory of the Intensional and Extensional Aspects of Lisp-type Computation (1985)

by C L Talcott