LCFsmall: an Implementation of LCF

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. The authors attempt to represent directly in code the metamathematical notions necessary to describe LCF. The program is reproduced in full.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1974
Accession Number
AD0786723

Entities

People

  • Luigia Aiello
  • Richard W. Weyhrauch

Organizations

  • Stanford University

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Case Studies
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Context Free Grammars
  • Conversion
  • Language
  • Printing
  • Programming Languages
  • Reliability
  • Robotics
  • Scanners
  • Syntax
  • Theory Of Computation

Readers

  • Computational Linguistics
  • Computer Science.