#
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