PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Aiello L., Weyhrauch R. W. LCF-SMALL: an implementation of LCF. Apparso in 'Memo AIM-241, Stanford Artificial Intelligence Laboratory', August 1974. Internal note IEI-B74-49, 1974.
 
 
Abstract
(English)
This is a report on a computer program implementing a simplified version of LCF. It is written (with minor exceptions) entirely in pure LISP and has none of the user oriented features of the implementation described by Milner. We attempt to present directly in code the metamathematical notions necessary to describe LCF. We hope that the code is simple enough and the metamathematical is clear enough so that properties of this particular program (e.g. its correctness) can eventually be proved. The program is reproduced in full.
Subject


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional