The following pages link to (Q5277833):
Displaying 7 items.
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- The Frobenius condition, right properness, and uniform fibrations (Q2013548) (← links)
- Weak model categories in classical and constructive mathematics (Q3294961) (← links)
- Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation (Q4580229) (← links)
- Model structure on the universe of all types in interval type theory (Q5022925) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Towards a constructive simplicial model of Univalent Foundations (Q6176777) (← links)
