Sciweavers

JSYML
2006

The generalised type-theoretic interpretation of constructive set theory

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
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2006
Where JSYML
Authors Peter Aczel, Nicola Gambino
Comments (0)