Pages that link to "Item:Q3613410"
From MaRDI portal
The following pages link to Combining Type Theory and Untyped Set Theory (Q3613410):
Displayed 5 items.
- Representing model theory in a type-theoretical logical framework (Q654913) (← 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)
- Representing Model Theory in a Type-Theoretical Logical Framework (Q5170290) (← links)