タグcubical-type-theory - これはページ1です - GeneraCodice

立方体タイプの理論は、一価の排除された中期と一価の選択と一致していますか？

https://www.generacodice.com/jp/articolo/2453079/立方体タイプの理論は-一価の排除された中期と一価の選択と一致していますか

  homotopy-type-theory  -  cubical-type-theory

cs.stackexchange

What does canonicity property mean in Type Theory?

https://www.generacodice.com/jp/articolo/1616278/what-does-canonicity-property-mean-in-type-theory

  type-theory  -  dependent-types  -  homotopy-type-theory  -  cubical-type-theory

cs.stackexchange

Propositional truncation of excluded middle

https://www.generacodice.com/jp/articolo/1615027/propositional-truncation-of-excluded-middle

  agda  -  dependent-types  -  homotopy-type-theory  -  cubical-type-theory

cs.stackexchange

What does “Kan” mean in “Kan operations”?

https://www.generacodice.com/jp/articolo/1612707/what-does-kan-mean-in-kan-operations

  cubical-type-theory

cs.stackexchange

Proof that type does not have decidable equality in Agda

https://www.generacodice.com/jp/articolo/1611389/proof-that-type-does-not-have-decidable-equality-in-agda

  agda  -  homotopy-type-theory  -  cubical-type-theory

cs.stackexchange

What should we return when pattern matching on a Higher Indutive Type and the case is a Path?

https://www.generacodice.com/jp/articolo/1607328/what-should-we-return-when-pattern-matching-on-a-higher-indutive-type-and-the-case-is-a-path

  homotopy-type-theory  -  cubical-type-theory  -  higher-inductive-types

cs.stackexchange

結果が見つかりました: 8