Accession Number:

AD0758645

Title:

Models of LCF

Descriptive Note:

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

• Milner, Robin

Report Date:

1973-01-01

Pagination or Media Count:

21.0

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.

Descriptors:

• *MATHEMATICAL LOGIC
• COMPUTER PROGRAMMING
• FUNCTIONS(MATHEMATICS)
• SEMANTICS
• SET THEORY
• SYNTAX
• THEOREMS

Subject Categories:

• Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE