Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Champin, Camil"'
Homotopy type theory is a logical setting based on Martin-L\"of type theory in which one can perform geometric constructions and proofs in a synthetic way. Namely, types can be interpreted as spaces (up to continuous deformation) and proofs as homoto
Externí odkaz:
http://arxiv.org/abs/2405.03264
