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: Todd Wilson

4 results

Seminar Work in Progress: A Formalization of the SUP-INF Algorithm
by Todd Wilson
July 11, 1996

Seminar Some Recent Results of R. Dyckhoff and A. Pitts
by Todd Wilson
March 26, 1996

Seminar Motivation: Basis of a Set Theory for Nuprl
by Todd Wilson
February 21, 1995

Seminar Computer Algebra, Theorem Proving, and Types
by Todd Wilson
October 04, 1994