Pages that link to "Item:Q3003342"
From MaRDI portal
The following pages link to Univalent Foundations of Mathematics (Q3003342):
Displayed 5 items.
- Isomorphism is equality (Q740487) (← links)
- A certified program for the Karatsuba method to multiply polynomials (Q2132545) (← links)
- Vladimir Aleksandrovich Voevodsky (Q4558118) (← links)
- Set-theoretic foundations (Q5351860) (← links)
- Undecidable problems in quantum field theory (Q6049665) (← links)