Tag cubical-type-theory - Dies ist Seite 1 - GeneraCodice

Ist die Theorie des kubischen Typs immer noch mit der einwertigen ausgeschlossenen mittleren und einwertigen Wahl vereinbar?

https://www.generacodice.com/de/articolo/2453079/ist-die-theorie-des-kubischen-typs-immer-noch-mit-der-einwertigen-ausgeschlossenen-mittleren-und-einwertigen-wahl-vereinbar

  homotopy-type-theory  -  cubical-type-theory

cs.stackexchange

What does canonicity property mean in Type Theory?

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

Gefundene Ergebnisse: 8