| |
Nombre des articles dans cette liste : 1
|
|
 |
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
 |
|
Calcul des constructions
Le 'calcul des constructions' ('CoC' de l'anglais ''calculus of constructions'') est un lambda-calcul typé d'ordre supérieur dans lequel les types sont des valeurs de première classe. Il est par conséquent possible, dans le CoC, de définir des fonctions qui vont des entiers vers les entiers, mais aussi des entiers vers les types ou des types vers les types.
Le CoC est fortement normalisant , bien que, d'après le théorème d'incomplétude de Gödel , il soit impossible de démontrer cette propriété dans le CoC lui-même, puisqu'elle implique sa cohérence.
|
|
|
|
|
| |
|
|
- Le texte et les visuels inclus dans ce cadre sont sous licence de documentation libre GNU (GFDL) - |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(c) Copyright 2012 123hop.net
|
|
|
|
Paiement sécurisé
|
|
via
|
|
|
|
|
|
|
|
|
|
|
|
|
