Title
Axioms and Theorems for Integers, Lists and Finite Sets in LCF
Catalog Number
102720782
Type
Document
Date
1973
Author
Newey, M. C.
Publisher
Stanford University
Extent
1 folder
Category
Technical Report
Collection Title
Herbert Stoyan collection on LISP programming
Series Title
Lisp history by year
Credit
Gift of Herbert Stoyan
