To read this content please select one of the options below:

SEMANTICS OF LISP AND THE ONTOLOGY OF FUNCTIONS

AMITABHA GHOSE (Indian Institute of Management Vastrapur, Ahmedabad‐380 015, India)

Kybernetes

ISSN: 0368-492X

Article publication date: 1 February 1976

56

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

Related articles