Skip to Main content Skip to Navigation
Lectures

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.
Document type :
Lectures
Complete list of metadata

https://hal-univ-rennes1.archives-ouvertes.fr/hal-03155381
Contributor : Olivier Ridoux <>
Submitted on : Monday, March 1, 2021 - 5:48:29 PM
Last modification on : Saturday, May 1, 2021 - 6:43:40 PM
Long-term archiving on: : Sunday, May 30, 2021 - 8:29:23 PM

File

picopoly lambda.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03155381, version 1

Relations

Citation

Olivier Ridoux. Le lambda−calcul. Master. France. 2021. ⟨hal-03155381⟩

Share

Metrics

Record views

92

Files downloads

57