Artifact Details

Title

Formal Semantics of LISP with Applications to Program Correctness

Catalog Number

102719595

Type

Document

Date

1974

Newey, M. C.

Stanford University

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