Artifact Details

Title

System of Functional Abstraction

Catalog Number

102720342

Type

Text

Date

1963

Author

Scott, Dana Stewart

Publisher

Stanford University

Extent

1 folder

Description

Manuscript, photocopied. Preface: These ideas about the so-called lambda-calculus were developed during 1962/63 at the University of California, Berkeley for my lectures on computer theory and metamathematics. This preliminary version of the exposition is written for the seminar in Foundations, Stanford University, Fall 1963.

Category

Technical Paper or Note

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Manuals, manuscripts, and subject files; Assorted subjects

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010