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

How to define higher inductive types in Z3

https://www.generacodice.com/it/articolo/11181310/how-to-define-higher-inductive-types-in-z3

types - z3 - homotopy-type-theory

La teoria del tipo di omotopia può essere utilizzata per ricavare algoritmi più efficienti su rappresentazioni di dati più efficienti da quelle meno efficienti?

https://www.generacodice.com/it/articolo/2468343/la-teoria-del-tipo-di-omotopia-puo-essere-utilizzata-per-ricavare-algoritmi-piu-efficienti-su-rappresentazioni-di-dati-piu-efficienti-da-quelle-meno-efficienti

optimization - homotopy-type-theory

cs.stackexchange

Coppie non ordinate nella teoria del tipo di omotopia

https://www.generacodice.com/it/articolo/2459487/coppie-non-ordinate-nella-teoria-del-tipo-di-omotopia

homotopy-type-theory

cs.stackexchange

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

Derivazione del tipo di prodotto Eliminator in Tipo Teoria

https://www.generacodice.com/it/articolo/2445129/derivazione-del-tipo-di-prodotto-eliminator-in-tipo-teoria

type-theory - homotopy-type-theory

cs.stackexchange

Prova elementare che bool è un set

https://www.generacodice.com/it/articolo/1616515/prova-elementare-che-bool-e-un-set

homotopy-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

Quali tipi sono proposizioni?

https://www.generacodice.com/it/articolo/1615816/quali-tipi-sono-proposizioni

coq - homotopy-type-theory - calculus-of-constructions

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

In che modo la proprietà funzionale è garantita nella teoria del tipo quando è definito il tipo di funzione?

https://www.generacodice.com/it/articolo/1613597/in-che-modo-la-proprieta-funzionale-e-garantita-nella-teoria-del-tipo-quando-e-definito-il-tipo-di-funzione

type-theory - homotopy-type-theory

cs.stackexchange

«
1
2
3
4
»

Risultati trovati: 36