Constructive set theories and their category-theoretic models (2005)

by Alex Simpson
Venue:IN: FROM SETS AND TYPES TO TOPOLOGY AND ANALYSIS
Citations:8 - 0 self