Artifact Details

Title

Formal Semantics of LISP with Applications to Program Correctness

Catalog Number

102719595

Type

Text

Date

1974

Author

Newey, M. C.

Publisher

Stanford University

Extent

1 microfilm box

Description

thesis on microfilm

Category

Microform

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Technical reports

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010