Abstract
SEMANTICS OF LISP AND THE ONTOLOGY OF FUNCTIONS