Combining Type Theory and Untyped Set Theory
From MaRDI portal
Publication:3613410
DOI10.1007/11814771_19zbMath1222.03012OpenAlexW1490805806MaRDI QIDQ3613410
Publication date: 12 March 2009
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11814771_19
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
Translating a Dependently-Typed Logic to First-Order Logic ⋮ Representing model theory in a type-theoretical logical framework ⋮ Representing Model Theory in a Type-Theoretical Logical Framework ⋮ Formalising foundations of mathematics ⋮ Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets
Uses Software
This page was built for publication: Combining Type Theory and Untyped Set Theory
