lambda-calcul et types - CEL - Cours en ligne Access content directly
Lectures Year : 2006

lambda-calcul et types

Yves Bertot

Abstract

Ces notes présentent successivement le lambda-calcul pur, le lambda-calcul simplement typé, les différentes formes de récursion typée, les types dépendants et leur utilisation en programmation et en logique
Fichier principal
Vignette du fichier
types.pdf (182.19 Ko) Télécharger le fichier
Loading...

Dates and versions

inria-00083975 , version 1 (05-07-2006)

Identifiers

  • HAL Id : inria-00083975 , version 1

Cite

Yves Bertot. lambda-calcul et types. Ecole Jeunes Chercheurs en Programmation (CNRS-INRIA) Toulouse, 2006. ⟨inria-00083975⟩

Collections

INRIA INRIA2
628 View
4195 Download

Share

Gmail Facebook X LinkedIn More