Evaluation and denotation of pure LISP programs : a worked example in semantics

Michael J. C. Gordon. Evaluation and denotation of pure LISP programs : a worked example in semantics. PhD thesis, University of Edinburgh, UK, 1974. [doi]

Abstract

Abstract is missing.