Discussion:Continuation

Une page de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher
Autres discussions [liste]
  • Suppression
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives

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)