lambda-calcul et types

Yves Bertot 1
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
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
Document type :
Lectures
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://cel.archives-ouvertes.fr/inria-00083975
Contributor : Yves Bertot <>
Submitted on : Wednesday, July 5, 2006 - 9:54:29 AM
Last modification on : Wednesday, September 12, 2018 - 1:16:39 AM
Long-term archiving on : Monday, April 5, 2010 - 11:48:06 PM

Files

Identifiers

  • HAL Id : inria-00083975, version 1

Collections

Citation

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

Share

Metrics

Record views

750

Files downloads

2929