Cette machine, due à Peter J. Landin, a été la première description formelle de l`évaluation du lambda-calcul et fut élaborée en 1963 en association avec son projet de langage de programmation ISWIM. Comme la description originelle de Landin laissaient beaucoup de détails dans l`ombre, la...