On the Strength of Proof-Irrelevant Type Theories
From MaRDI portal
Publication:3613437
DOI10.1007/11814771_49zbMath1222.03019arXiv0808.3928OpenAlexW1937180777MaRDI QIDQ3613437
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0808.3928
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Is Impredicativity Implicitly Implicit ⋮ The Implicit Calculus of Constructions as a Programming Language with Dependent Types
Uses Software
This page was built for publication: On the Strength of Proof-Irrelevant Type Theories
