Presheaf Models for Constructive Set Theories
doi 10.1093/acprof:oso/9780198566519.003.0004
Full Text
Open PDFAbstract
Available in full text
Date
October 6, 2005
Authors
Publisher
Oxford University Press
Available in full text
October 6, 2005
Oxford University Press