The generalised type-theoretic interpretation of constructive set theory

DOI10.2178/jsl/1140641163zbMath1100.03052OpenAlexW2088093428WikidataQ59904120 ScholiaQ59904120MaRDI QIDQ5477624

Could not fetch data.

Publication date: 5 July 2006

Published in: (Search for Journal in Brave)

Full work available at URL: http://eprints.whiterose.ac.uk/113161/8/27588436.pdf

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.