Discussion:Continuation (informatique)
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Exagération ?[modifier le code]
Ajouté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[modifier le code]
Bonjour,
Evaluation de l'article effectuée.