DOI10.1016/j.indag.2017.07.010zbMath1436.03102MaRDI QIDQ1688954
Robert Harper, Carlo Angiuli
Publication date: 12 January 2018 Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.indag.2017.07.010
Mathematics Subject Classification ID
55U35: Abstract and axiomatic homotopy theory in algebraic topology
03B38: Type theory
Uses Software