Le lambda−calcul - Université de Rennes Access content directly
Lectures Year : 2021

The Lambda-calculus

Le lambda−calcul

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-03155381 , version 1

Cite

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

Relations

91 View
118 Download

Share

Gmail Facebook Twitter LinkedIn More