PRESHEAF MODELS FOR CONSTRUCTIVE SET THEORIES

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0004 ◽

2005 ◽

pp. 62-77 ◽

Author(s):

Nicola Gambino

Download Full-text