Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag dependent-types - Questa è pagina 1 - GeneraCodice
Perché CoQ include espressioni let nel suo linguaggio principale
https://www.generacodice.com/it/articolo/1620500/perche-coq-include-espressioni-let-nel-suo-linguaggio-principale
type-theory
-
coq
-
type-checking
-
dependent-types
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
Perché i valori non possono essere sostituiti con i loro valori estensivamente uguali in un sistema intensionale?
https://www.generacodice.com/it/articolo/1616148/perche-i-valori-non-possono-essere-sostituiti-con-i-loro-valori-estensivamente-uguali-in-un-sistema-intensionale
equality
-
type-theory
-
dependent-types
cs.stackexchange
Definizione di uguaglianza estensionale e proposizionale nella teoria del tipo estensione Martin-Lof
https://www.generacodice.com/it/articolo/1616107/definizione-di-uguaglianza-estensionale-e-proposizionale-nella-teoria-del-tipo-estensione-martin-lof
equality
-
type-theory
-
dependent-types
cs.stackexchange
Uguaglianza di definizione di due proposizioni sull'uguaglianza proposizionale
https://www.generacodice.com/it/articolo/1616076/uguaglianza-di-definizione-di-due-proposizioni-sull-uguaglianza-proposizionale
equality
-
type-theory
-
dependent-types
cs.stackexchange
Quale termine non tited abita l'induzione del numero naturale nel COC?
https://www.generacodice.com/it/articolo/1615307/quale-termine-non-tited-abita-l-induzione-del-numero-naturale-nel-coc
type-theory
-
lambda-calculus
-
dependent-types
-
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
Tipi di identità e universi
https://www.generacodice.com/it/articolo/1608300/tipi-di-identita-e-universi
type-theory
-
dependent-types
-
homotopy-type-theory
cs.stackexchange
Sistema di tipo dipendente con diverso modello di calcolo
https://www.generacodice.com/it/articolo/1608087/sistema-di-tipo-dipendente-con-diverso-modello-di-calcolo
type-theory
-
reference-request
-
dependent-types
cs.stackexchange
Dove sono i modelli C ++ all'interno del cubo Lambda?
https://www.generacodice.com/it/articolo/1607688/dove-sono-i-modelli-c-all-interno-del-cubo-lambda
c++
-
programming-languages
-
type-theory
-
dependent-types
-
calculus-of-constructions
cs.stackexchange
«
1
2
3
4
5
6
»
Risultati trovati: 89