Univalent Foundations of Mathematics
From MaRDI portal
Publication:3003342
DOI10.1007/978-3-642-20920-8_4zbMath1371.03097OpenAlexW1569447798MaRDI QIDQ3003342
Publication date: 27 May 2011
Published in: Logic, Language, Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-20920-8_4
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (5)
A certified program for the Karatsuba method to multiply polynomials ⋮ Vladimir Aleksandrovich Voevodsky ⋮ Undecidable problems in quantum field theory ⋮ Set-theoretic foundations ⋮ Isomorphism is equality
Uses Software
This page was built for publication: Univalent Foundations of Mathematics