SEMANTICS OF LISP AND THE ONTOLOGY OF FUNCTIONS
Abstract
The formalization of recursive definition of functions in the programming language LISP is studied with respect to its ontological assumptions. It is shown that whereas the theory of recursive function is based on the ontology of actual infinity, the semantics of variables and functions in a programming language can be adequately explained with the concept only of potential infinity.
Citation
GHOSE, A. (1976), "SEMANTICS OF LISP AND THE ONTOLOGY OF FUNCTIONS", Kybernetes, Vol. 5 No. 2, pp. 97-99. https://doi.org/10.1108/eb005413
Publisher
:MCB UP Ltd
Copyright © 1976, MCB UP Limited