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 homotopy-type-theory - Ceci est la page 1 - GeneraCodice
How to define higher inductive types in Z3
https://www.generacodice.com/fr/articolo/11181310/how-to-define-higher-inductive-types-in-z3
types
-
z3
-
homotopy-type-theory
StackOverflow
Peut Homotopie Type de Théorie être utilisée pour dériver des algorithmes plus efficaces sur des données plus efficaces représentations de moins performantes?
https://www.generacodice.com/fr/articolo/2468343/peut-homotopie-type-de-theorie-etre-utilisee-pour-deriver-des-algorithmes-plus-efficaces-sur-des-donnees-plus-efficaces-representations-de-moins-performantes
optimization
-
homotopy-type-theory
cs.stackexchange
Paires non ordonnées dans la théorie des types d'homotopie
https://www.generacodice.com/fr/articolo/2459487/paires-non-ordonnees-dans-la-theorie-des-types-d-homotopie
homotopy-type-theory
cs.stackexchange
La théorie des types cubiques est-elle toujours cohérente avec le milieu exclu univalent et le choix univalent ?
https://www.generacodice.com/fr/articolo/2453079/la-theorie-des-types-cubiques-est-elle-toujours-coherente-avec-le-milieu-exclu-univalent-et-le-choix-univalent
homotopy-type-theory
-
cubical-type-theory
cs.stackexchange
Dérivation de l'éliminateur du type de produit dans la théorie de type
https://www.generacodice.com/fr/articolo/2445129/derivation-de-l-eliminateur-du-type-de-produit-dans-la-theorie-de-type
type-theory
-
homotopy-type-theory
cs.stackexchange
Preuve élémentaire que bool est un ensemble
https://www.generacodice.com/fr/articolo/1616515/preuve-elementaire-que-bool-est-un-ensemble
homotopy-type-theory
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
Quels types sont des propositions?
https://www.generacodice.com/fr/articolo/1615816/quels-types-sont-des-propositions
coq
-
homotopy-type-theory
-
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
Comment la propriété fonctionnelle est-elle garantie dans la théorie des types lorsque le type de fonction est défini?
https://www.generacodice.com/fr/articolo/1613597/comment-la-propriete-fonctionnelle-est-elle-garantie-dans-la-theorie-des-types-lorsque-le-type-de-fonction-est-defini
type-theory
-
homotopy-type-theory
cs.stackexchange
«
1
2
3
4
»
Résultats trouvés: 36