Pages that link to "Item:Q5477624"

The following pages link to The generalised type-theoretic interpretation of constructive set theory (Q5477624):

Displaying 9 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)
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
• On the compatibility between the minimalist foundation and constructive set theory (Q2104267) (← links)
• Categories with families and first-order logic with dependent sorts (Q2326422) (← links)
• A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
• A SYNTACTIC CHARACTERIZATION OF MORITA EQUIVALENCE (Q4600451) (← links)
• FROM MULTISETS TO SETS IN HOMOTOPY TYPE THEORY (Q4692084) (← links)