//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Scott D. Stoller

6 results


Seminar TLA
by Scott D. Stoller, Chetan Murthy
November 01, 1994

Publication An Operational Approach to Combining Classical Set Theory and Functional Programming Languages | cite »
by Douglas J. Howe, Scott D. Stoller
1994

Seminar An Operational Approach to Combining Classical Set Theory and Functional Programming Languages
by Scott D. Stoller
March 29, 1994

Seminar How to Integrate Set Theory and Computation?
by Scott D. Stoller
September 14, 1993

Seminar Semantics
by Scott D. Stoller
March 30, 1993

Seminar Semantics of the Nuprl Type Theory
by Scott D. Stoller
March 16, 1993