Combinatorial topology and constructive mathematics

DOI10.1016/j.indag.2018.04.003OpenAlexW2809902575WikidataQ129603076 ScholiaQ129603076MaRDI QIDQ1788338

Thierry Coquand

Publication date: 8 October 2018

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.indag.2018.04.003

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX) General topology (54-XX)

Uses Software

• Automath
• cubicaltt

Cites Work

• A combinatorial definition of homotopy groups
• A course in constructive algebra
• Birth of fibre spaces, and homotopy
• A Kripke model for simplicial sets
• The selected correspondence of L. E. J. Brouwer.
• Semi-simplicial complexes and singular homology
• L.J.E. Brouwer : Topologie et constructivisme
• On the homotopy theory of sheaves of simplicial groupoids
• Homotopy Type Theory: Univalent Foundations of Mathematics
• An experimental library of formalized Mathematics based on the univalent foundations
• ABSTRACT HOMOTOPY
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Combinatorial topology and constructive mathematics