Cours Année : 2006

lambda-calcul et types

Yves Bertot
MARELLE - Mathematical, Reasoning and Software

Résumé

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

Domaines

Fichier principal
Vignette du fichier
types.pdf (182.19 Ko) Télécharger le fichier
Licence
Autorisation HAL

Connectez-vous pour contacter le contributeur

https://cel.hal.science/inria-00083975

Soumis le : mercredi 5 juillet 2006-09:54:29

Dernière modification le : mardi 26 août 2025-15:21:01

Archivage à long terme le : lundi 5 avril 2010-23:48:06

Télécharger pour visualiser

Dates et versions

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

Licence

Autorisation HAL

Identifiants

  • HAL Id : inria-00083975 , version 1

Citer

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

Exporter

Collections

800 Consultations
4951 Téléchargements

Partager

  • More