Discussion:Continuation (informatique)
Dernier commentaire : il y a 3 ans par Groumphy dans le sujet Evaluation
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Informatique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | Faible |  | Informatique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Exagération ?
modifierAjoutée par une IP le 10/10/2005, la phrase finale Les continuations permettent de donner un contenu computationnel à la logique classique dans le cadre de la correspondance de Curry-Howard me semble abusive, mais je ne m'y connais pas assez pour modérer ce la logique classique (et remplacer computationnel par du français). Anne Bauval (d) 8 juin 2010 à 19:32 (CEST)
Evaluation
modifierBonjour,
Evaluation de l'article effectuée.