IIMA Institutional Repository
This Institutional Repository has been created to collect, preserve and distribute the scholarly output of Indian Institute of Management, Ahmedabad. This will work as an important tool to facilitate scholarly communication and preserve the institution knowledge. The Vikram Sarabhai Library is proud to be hosting the repository for the dissemination and preservation of this valuable knowledge resource of the IIMA community.
Please use this identifier to cite or link to this item:
http://hdl.handle.net/11718/4271| Title: | Semantics of LISP and the ontology of function |
| Authors: | Ghose, A. |
| Issue Date: | 22-May-1976 |
| Citation: | Kybernetes, 5 (2), (May 1976), 97-99 |
| 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. |
| URI: | http://hdl.handle.net/11718/4271 |
| Appears in Collections: | Journal Articles |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| SemanticsofLISPandtheontologyoffunction.pdf Restricted Access | 197.73 kB | Adobe PDF | View/Open Request a copy |
Items in IIMA Institutional Repository are protected by copyright, with all rights reserved, unless otherwise indicated.