Cours de Lambda-calcul - Laboratoire d`Informatique de Paris 6
Documents pareils
Lambda-calcul pur
On peut réparer ce défaut lorsque la relation → termine. . . ce qui ne sera malheuresement pas le cas du λ-calcul:
Lemme 2 (Newman) Soit → une relation binaire sur un ensemble A, et supposons que...
Un Lambda-Calcul Atomique
Remarquons que, contrairement aux clôtures qui s’appliquent aussi bien aux lambdatermes atomiques et aux termes de multiplicité quelconque, l’application et l’abstraction ne
s’appliquent qu’aux lam...