CONSTRUCTIVE SET THEORIES AND THEIR CATEGORY-THEORETIC MODELS

From Sets and Types to Topology and Analysis ◽

10.1093/acprof:oso/9780198566519.003.0003 ◽

2005 ◽

pp. 41-61 ◽

Author(s):

Alex Simpson

Download Full-text