Cours Année : 2021

The Lambda-calculus

Le lambda−calcul

Résumé

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.

Fichier principal
Vignette du fichier
picopoly lambda.pdf (450.34 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
HAL

Décrit hal-03155296 Preprint Olivier Ridoux. The Art of Picopoly. 2021. ⟨hal-03155296⟩

Dates et versions

hal-03155381 , version 1 (01-03-2021)

Licence

Identifiants

  • HAL Id : hal-03155381 , version 1

Citer

Olivier Ridoux. Le lambda−calcul. Master. France. 2021. ⟨hal-03155381⟩
236 Consultations
404 Téléchargements

Partager

  • More