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

by Carolyn L Talcott