Combinatorial topology and constructive mathematics
type: Item
instance of: scholarly article
title: Combinatorial topology and constructive mathematics
author: Thierry Coquand
published in: Indagationes Mathematicae. New Series
publication date: 2018-10-08T00:00:00Z
Mathematics Subject Classification ID: 03-XX
Mathematics Subject Classification ID: 68-XX
Mathematics Subject Classification ID: 54-XX
zbMATH DE Number: 6948560
describes a project that uses: Automath
describes a project that uses: cubicaltt
MaRDI profile type: Publication
full work available at URL: j.indag.2018.04.003
OpenAlex ID: W2809902575
cites work: A Kripke model for simplicial sets
cites work: Q2968413
cites work: Q5573965
cites work: Q3803111
cites work: The selected correspondence of L. E. J. Brouwer.
cites work: Q3424496
cites work: Q5610115
cites work: L.J.E. Brouwer : Topologie et constructivisme
cites work: Birth of fibre spaces, and homotopy
cites work: Semi-simplicial complexes and singular homology
cites work: On the homotopy theory of sheaves of simplicial groupoids
cites work: ABSTRACT HOMOTOPY
cites work: A combinatorial definition of homotopy groups
cites work: Q3727946
cites work: Q4099613
cites work: A course in constructive algebra
cites work: Q5278410
cites work: Q3923266
cites work: Homotopy Type Theory: Univalent Foundations of Mathematics
cites work: An experimental library of formalized Mathematics based on the univalent foundations
Wikidata QID: Q129603076
DOI: 10.1016/J.INDAG.2018.04.003
description: scientific article; zbMATH DE number 6948560