علامة cubical-type-theory - هذه الصفحة 1 - GeneraCodice

هل نظرية النوع التكعيبي لا تزال متسقة مع الاختيار الأوسط والأحادي التكافؤ المستبعد?

https://www.generacodice.com/ar/articolo/2453079/هل-نظرية-النوع-التكعيبي-لا-تزال-متسقة-مع-الاختيار-الأوسط-والأحادي-التكافؤ-المستبعد

  homotopy-type-theory  -  cubical-type-theory

cs.stackexchange

What does canonicity property mean in Type Theory?

https://www.generacodice.com/ar/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/ar/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/ar/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/ar/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/ar/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