Pages that link to "Item:Q5477624"
From MaRDI portal
The following pages link to The generalised type-theoretic interpretation of constructive set theory (Q5477624):
Displayed 5 items.
- Classical predicative logic-enriched type theories (Q636367) (← links)
- The associated sheaf functor theorem in algebraic set theory (Q958487) (← links)
- A minimalist two-level foundation for constructive mathematics (Q1032635) (← links)
- A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
- Dependently Sorted Logic (Q3499748) (← links)