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 curry-howard - Ceci est la page 3 - GeneraCodice
Un système de type peut-il servir d'assistant de preuve pour les fonctions étrangères?
https://www.generacodice.com/fr/articolo/1580593/un-systeme-de-type-peut-il-servir-d-assistant-de-preuve-pour-les-fonctions-etrangeres
type-theory
-
curry-howard
-
proof-assistants
cs.stackexchange
pour tout AB, a -> b [duplicate
https://www.generacodice.com/fr/articolo/1580079/pour-tout-ab-a-b-duplicate
type-theory
-
curry-howard
cs.stackexchange
Pourquoi les types codés par l'église ne sont pas suffisants pour exprimer des preuves inductives?
https://www.generacodice.com/fr/articolo/1579209/pourquoi-les-types-codes-par-l-eglise-ne-sont-pas-suffisants-pour-exprimer-des-preuves-inductives
functional-programming
-
curry-howard
-
proof-techniques
-
automated-theorem-proving
cs.stackexchange
Existe-t-il un isomorphisme entre la théorie de la catégorie (sous-ensemble de) et l'algèbre relationnelle?
https://www.generacodice.com/fr/articolo/1578654/existe-t-il-un-isomorphisme-entre-la-theorie-de-la-categorie-sous-ensemble-de-et-l-algebre-relationnelle
relational-algebra
-
category-theory
-
curry-howard
cs.stackexchange
Utilisations de l'unité de type
https://www.generacodice.com/fr/articolo/1567380/utilisations-de-l-unite-de-type
lambda-calculus
-
curry-howard
cs.stackexchange
Dans l'isomorphisme Curry-Howard, appliqué aux types de milner Hindley, quelle proposition correspond à un -> [a]?
https://www.generacodice.com/fr/articolo/1560384/dans-l-isomorphisme-curry-howard-applique-aux-types-de-milner-hindley-quelle-proposition-correspond-a-un-a
functional-programming
-
programming-languages
-
type-theory
-
curry-howard
cs.stackexchange
Le domaine d'une variable n'est-il rien d'autre qu'une contrainte?
https://www.generacodice.com/fr/articolo/1545793/le-domaine-d-une-variable-n-est-il-rien-d-autre-qu-une-contrainte
type-theory
-
typing
-
constraint-programming
-
constraint-satisfaction
-
curry-howard
cs.stackexchange
Courry Howard Correspondence et Thèse de l'église
https://www.generacodice.com/fr/articolo/1544684/courry-howard-correspondence-et-these-de-l-eglise
functional-programming
-
logic
-
computability
-
curry-howard
-
church-turing-thesis
cs.stackexchange
Compte tenu des «programmes comme des preuves» de l'isomorphisme, comment savons-nous que le programme ne ment pas?
https://www.generacodice.com/fr/articolo/1542447/compte-tenu-des-programmes-comme-des-preuves-de-l-isomorphisme-comment-savons-nous-que-le-programme-ne-ment-pas
type-theory
-
curry-howard
-
proof-assistants
-
correctness-proof
-
intuition
cs.stackexchange
Les «théorèmes gratuits» de Wadler sont-ils aussi généraux que la conception par contrat pour établir l'exactitude?
https://www.generacodice.com/fr/articolo/1490144/les-theoremes-gratuits-de-wadler-sont-ils-aussi-generaux-que-la-conception-par-contrat-pour-etablir-l-exactitude
type-theory
-
curry-howard
cs.stackexchange
«
1
2
3
4
»
Résultats trouvés: 38