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.
Domaines
Informatique [cs]
Origine : Fichiers produits par l'(les) auteur(s)