Title
Recursive Programs as Functions in a First Order Theory
Catalog Number
102719068
Type
Document
Date
1979
Author
Cartwright, Robert; McCarthy, John
Publisher
Stanford University
Extent
1 folder
Category
Technical Paper or Note
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan
