BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-74-446
       ENTRY:: August 23, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: LCFsmall: an implementation of LCF.
        TYPE:: Technical Report
      AUTHOR:: Aiello, Luigia
      AUTHOR:: Weyhrauch, Richard W.
        DATE:: August 1974
       PAGES:: 49
    ABSTRACT:: 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 represent directly in code the metamathematical
               notions necessary to describe LCF. We hope that the code is
               simple enough and the metamathematics is clear enough so that
               properties of this particular program (e.g. its correctness)
               can eventually be proved. The program is reproduced in full.
       NOTES:: [Adminitrivia V1/Prg/19950823]
         END:: STAN//CS-TR-74-446