Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Malcolm Charles Newey

Original record
Institution
Stanford University
Year
1975
Country
United States
MGP identifier
103326

Dissertation: Formal Semantics of Lisp with Applications to Program Correctness.

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy