Sciweavers

JSYML
2006
71views more  JSYML 2006»
14 years 13 days ago
The generalised type-theoretic interpretation of constructive set theory
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
Peter Aczel, Nicola Gambino