Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Scott D. Stoller
6 results
TLA
by Scott D. Stoller, Chetan Murthy
November 01, 1994
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
| cite »
by Douglas J. Howe, Scott D. Stoller
1994
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
by Scott D. Stoller
March 29, 1994
How to Integrate Set Theory and Computation?
by Scott D. Stoller
September 14, 1993
Semantics
by Scott D. Stoller
March 30, 1993
Semantics of the Nuprl Type Theory
by Scott D. Stoller
March 16, 1993