Title
System of Functional Abstraction
Catalog Number
102720342
Type
Document
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.
Date
1963
Author
Scott, Dana Stewart
Publisher
Stanford University
Extent
1 folder
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