Français
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articles complets
Catégories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
vous écrivez
Utilisateur
Connexion
Inscription
Récupération de mot de passe
Mots clés
Étiquettes linguistiques
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag dependent-types - Ceci est la page 1 - GeneraCodice
Pourquoi le COQ inclut-il les expressions de location dans sa langue principale
https://www.generacodice.com/fr/articolo/1620500/pourquoi-le-coq-inclut-il-les-expressions-de-location-dans-sa-langue-principale
type-theory
-
coq
-
type-checking
-
dependent-types
cs.stackexchange
Que signifie la propriété de la canonicité dans la théorie des types?
https://www.generacodice.com/fr/articolo/1616278/que-signifie-la-propriete-de-la-canonicite-dans-la-theorie-des-types
type-theory
-
dependent-types
-
homotopy-type-theory
-
cubical-type-theory
cs.stackexchange
Pourquoi les valeurs ne peuvent pas être remplacées par leurs valeurs extensiales égales dans un système intensif?
https://www.generacodice.com/fr/articolo/1616148/pourquoi-les-valeurs-ne-peuvent-pas-etre-remplacees-par-leurs-valeurs-extensiales-egales-dans-un-systeme-intensif
equality
-
type-theory
-
dependent-types
cs.stackexchange
Définition de l'égalité d'extension et propositionnelle dans la théorie du type d'extension de Martin-lof
https://www.generacodice.com/fr/articolo/1616107/definition-de-l-egalite-d-extension-et-propositionnelle-dans-la-theorie-du-type-d-extension-de-martin-lof
equality
-
type-theory
-
dependent-types
cs.stackexchange
Égalité de définition de deux propositions sur l'égalité propositionnelle
https://www.generacodice.com/fr/articolo/1616076/egalite-de-definition-de-deux-propositions-sur-l-egalite-propositionnelle
equality
-
type-theory
-
dependent-types
cs.stackexchange
Quel terme non typé habite l'induction sur des nombres naturels en COC?
https://www.generacodice.com/fr/articolo/1615307/quel-terme-non-type-habite-l-induction-sur-des-nombres-naturels-en-coc
type-theory
-
lambda-calculus
-
dependent-types
-
calculus-of-constructions
cs.stackexchange
Troncature propositionnelle du milieu exclu
https://www.generacodice.com/fr/articolo/1615027/troncature-propositionnelle-du-milieu-exclu
agda
-
dependent-types
-
homotopy-type-theory
-
cubical-type-theory
cs.stackexchange
Types d'identité et univers
https://www.generacodice.com/fr/articolo/1608300/types-d-identite-et-univers
type-theory
-
dependent-types
-
homotopy-type-theory
cs.stackexchange
Système de type dépendant avec un modèle de calcul différent
https://www.generacodice.com/fr/articolo/1608087/systeme-de-type-dependant-avec-un-modele-de-calcul-different
type-theory
-
reference-request
-
dependent-types
cs.stackexchange
Où sont les modèles C ++ à l'intérieur du cube lambda?
https://www.generacodice.com/fr/articolo/1607688/ou-sont-les-modeles-c-a-l-interieur-du-cube-lambda
c++
-
programming-languages
-
type-theory
-
dependent-types
-
calculus-of-constructions
cs.stackexchange
«
1
2
3
4
5
6
»
Résultats trouvés: 89