scientific article; zbMATH DE number 6744147
From MaRDI portal
Publication:5277833
DOI10.4230/LIPIcs.TLCA.2015.92zbMath1433.03154MaRDI QIDQ5277833
Erik Parmann, Thierry Coquand, Marc Bezem
Publication date: 12 July 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Simplicial sets and complexes in algebraic topology (55U10) Other constructive mathematics (03F65) Simplicial sets, simplicial objects (18N50)
Related Items (7)
Cubical methods in homotopy type theory and univalent foundations ⋮ Towards a constructive simplicial model of Univalent Foundations ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ The Frobenius condition, right properness, and uniform fibrations ⋮ Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation ⋮ Weak model categories in classical and constructive mathematics ⋮ Model structure on the universe of all types in interval type theory
This page was built for publication:
