Tag homotopy-type-theory - This is page 4 - GeneraCodice

How to understand equivalence of indexes of a family of types that are not definitionally equal

https://www.generacodice.com/en/articolo/1544469/how-to-understand-equivalence-of-indexes-of-a-family-of-types-that-are-not-definitionally-equal
  programming-languages  -  type-theory  -  inductive-datatypes  -  dependent-types  -  homotopy-type-theory
cs.stackexchange cs.stackexchange

Constructing a sphere ($S^2$) in HoTT directly?

https://www.generacodice.com/en/articolo/1544343/constructing-a-sphere-s-2-in-hott-directly
  homotopy-type-theory
cs.stackexchange cs.stackexchange

Is path induction constructive?

https://www.generacodice.com/en/articolo/1515835/is-path-induction-constructive
  induction  -  dependent-types  -  homotopy-type-theory
cs.stackexchange cs.stackexchange

Can I have a “dependent coproduct type”?

https://www.generacodice.com/en/articolo/1515795/can-i-have-a-dependent-coproduct-type
  type-theory  -  dependent-types  -  homotopy-type-theory
cs.stackexchange cs.stackexchange

What were the research outcomes of the Univalent Foundations Program year (Homotopy Type Theory)

https://www.generacodice.com/en/articolo/1490045/what-were-the-research-outcomes-of-the-univalent-foundations-program-year-homotopy-type-theory
  homotopy-type-theory
cs.stackexchange cs.stackexchange

Universes in dependent type theory

https://www.generacodice.com/en/articolo/1125464/universes-in-dependent-type-theory
  type-theory  -  dependent-types  -  homotopy-type-theory
cs.stackexchange cs.stackexchange
Results found: 36
scroll top