Artifact Details

Title

Recursive Programs as Functions in a First Order Theory

Catalog Number

102719068

Type

Text

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

Lot Number

X5687.2010