Le lambda−calcul

Le lambda-calcul est un des plus anciens modeles formels utilises en informatique, et toujours utilise. Il a ete extremement fertile, ex. en programmation ou en traitement automatique des langues naturelles, et il est au centre des relations entre logique et informatique. Ce document de cours est un "picopoly" (une sorte de flyer) qu'il est preferable d'imprimer en format A3 pour ensuite le plier et obtenir un livret en format A6.