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.
Technical Paper or Note
Herbert Stoyan collection on LISP programming
Manuals, manuscripts, and subject files; Assorted subjects