Pages that link to "Item:Q3613410"
From MaRDI portal
The following pages link to Combining Type Theory and Untyped Set Theory (Q3613410):
Displaying 8 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← links)
- Setoid type theory -- a syntactic translation (Q2176677) (← links)
- Set graphs. III: Proof pearl: Claw-free graphs mirrored into transitive hereditarily finite sets (Q2352482) (← links)
- Formalising foundations of mathematics (Q3094180) (← links)
- Translating a Dependently-Typed Logic to First-Order Logic (Q3184740) (← links)
- A Unified Formal Description of Arithmetic and Set Theoretical Data Types (Q3582712) (← links)
- (Q4003284) (← links)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)