Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Todd Wilson
4 results
Work in Progress: A Formalization of the SUP-INF Algorithm
by Todd Wilson
July 11, 1996
Some Recent Results of R. Dyckhoff and A. Pitts
by Todd Wilson
March 26, 1996
Motivation: Basis of a Set Theory for Nuprl
by Todd Wilson
February 21, 1995
Computer Algebra, Theorem Proving, and Types
by Todd Wilson
October 04, 1994