Expressing ‘the structure of’ in homotopy type theory
Sign Up to like & getrecommendations! Published in 2017 at "Synthese"
DOI: 10.1007/s11229-017-1569-7
Abstract: As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy… read more here.
Keywords: type theory; homotopy type; type; mathematics ... See more keywords