Artifact Details

Title

Axioms and Theorems for Integers, Lists and Finite Sets in LCF

Catalog Number

102720782

Type

Text

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

Lot Number

X5687.2010