Artifact Details

Title

Formal Semantics of LISP with Applications to Program Correctness

Catalog Number

102719595

Type

Document

Description

thesis on microfilm

Date

1974

Author

Newey, M. C.

Publisher

Stanford University

Extent

1 microfilm box

Category

Microform

Collection Title

Herbert Stoyan collection on LISP programming

Series Title

Technical reports

Credit

Gift of Herbert Stoyan

Lot Number

X5687.2010