BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-73-332
       ENTRY:: September 25, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Models of LCF.
        TYPE:: Technical Report
      AUTHOR:: Milner, Robin
        DATE:: January 1973
       PAGES:: 19
    ABSTRACT:: LCF is a deductive system for computable functions proposed
               by D. Scott in 1969 in an unpublished memorandum. The purpose
               of the present paper is to demonstrate the soundness of the
               system with respect to certain models, which are partially
               ordered domains of continuous functions. This demonstration
               was supplied by Scott in his memorandum; the present paper is
               merely intended to make this work more accessible.
       NOTES:: [Adminitrivia V1/Prg/19950925]
         END:: STAN//CS-TR-73-332