Knowledge Base of
Publications,
Seminars,
& Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Michael Schwartzbach
2 results
Continuation of Categorial Models of Nuprl
by Michael Schwartzbach
October 28, 1986
Categorical Models of Nuprl
by Michael Schwartzbach
October 21, 1986