Models of LCF

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1973
Accession Number
AD0758645

Entities

People

  • Robin Milner

Organizations

  • Stanford University

Tags

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Calculus
  • Classification
  • Computer Programs
  • Computer Science
  • Computers
  • Computing Devices
  • Continuity
  • Equations
  • Hypotheses
  • Model Theory
  • Models
  • Schools
  • Standards
  • Universities

Fields of Study

  • Mathematics

Readers

  • Computational Linguistics
  • Computer Science.