Accession Number:

AD0785072

Title:

Logic for Computable Functions Description of a Machine Implementation

Descriptive Note:

Corporate Author:

STANFORD UNIV CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1972-05-01

Pagination or Media Count:

40.0

Abstract:

The author uses the name LCF also for the logic itself, which is presented at the start of the paper, The proof-checking program is designed to allow the user interactively to generate formal proofs about computable functions and functionals over a variety of domains, including those of interest to the computer scientist - for example integers, lists and computer programs and their semantics.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE