Knowledge Base of
Publications,
Seminars,
& Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Ross Tate
1 results
Issues in Constructive Type Theory
by Ross Tate
September 14, 2012