Report Number: CS-TR-73-332
Institution: Stanford University, Department of Computer Science
Title: Models of LCF.
Author: Milner, Robin
Date: January 1973
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.