Tag cubical-type-theory - Questa è pagina 1 - GeneraCodice

La teoria del tipo cubica è ancora coerente con una scelta unitaria esclusa e univalente?

https://www.generacodice.com/it/articolo/2453079/la-teoria-del-tipo-cubica-e-ancora-coerente-con-una-scelta-unitaria-esclusa-e-univalente

  homotopy-type-theory  -  cubical-type-theory

cs.stackexchange

Cosa significa la proprietà della canonicità nella teoria del tipo?

https://www.generacodice.com/it/articolo/1616278/cosa-significa-la-proprieta-della-canonicita-nella-teoria-del-tipo

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

cs.stackexchange

Troncamento proposizionale del mezzo escluso

https://www.generacodice.com/it/articolo/1615027/troncamento-proposizionale-del-mezzo-escluso

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

cs.stackexchange

Cosa significa "kan" nelle "operazioni KAN"?

https://www.generacodice.com/it/articolo/1612707/cosa-significa-kan-nelle-operazioni-kan

  cubical-type-theory

cs.stackexchange

Prova che il tipo non ha un'uguaglianza decidabile in AGDA

https://www.generacodice.com/it/articolo/1611389/prova-che-il-tipo-non-ha-un-uguaglianza-decidabile-in-agda

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

cs.stackexchange

Cosa dovremmo restituire quando la corrispondenza di pattern su un tipo induttivo più elevato e il caso è un percorso?

https://www.generacodice.com/it/articolo/1607328/cosa-dovremmo-restituire-quando-la-corrispondenza-di-pattern-su-un-tipo-induttivo-piu-elevato-e-il-caso-e-un-percorso

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

cs.stackexchange

Risultati trovati: 8