Found 1 document(s)
Page 1 of 1
-
L'extension à la logique classique de la correspondance de Curry-Howard permet d'envisager deux réductions déterministes qui correspondent, pour la première, à une réduction avec appel par nom et, pour la seconde, à une ...