%0 Course %T The Lambda-calculus %T Le lambda−calcul %+ Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) %A Ridoux, Olivier %C France %8 2021-03-01 %D 2021 %Z Computer Science [cs]Lectures %X Le lambda-calcul est un des plus anciens modèles formels utilisés en informatique, et toujours utilisé. Il a été extrêmement 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 préférable d'imprimer en format A3 pour ensuite le plier et obtenir un livret en format A6. %G French %2 https://univ-rennes.hal.science/hal-03155381/document %2 https://univ-rennes.hal.science/hal-03155381/file/picopoly%20lambda.pdf %L hal-03155381 %U https://univ-rennes.hal.science/hal-03155381 %~ INSTITUT-TELECOM %~ UNIV-RENNES1 %~ CNRS %~ INRIA %~ UNIV-UBS %~ INSA-RENNES %~ IRISA %~ IRISA_SET %~ CENTRALESUPELEC %~ UR1-HAL %~ UR1-MATH-STIC %~ UR1-UFR-ISTIC %~ TEST-UR-CSS %~ UNIV-RENNES %~ INRIA-AUT %~ INSA-GROUPE %~ INSTITUTS-TELECOM %~ UR1-MATH-NUM