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
Type de document :
Cours
Ecole Jeunes Chercheurs en Programmation (CNRS-INRIA) Toulouse, 2006
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://cel.archives-ouvertes.fr/inria-00083975
Contributeur : Yves Bertot <>
Soumis le : mercredi 5 juillet 2006 - 09:54:29
Dernière modification le : jeudi 11 janvier 2018 - 16:25:56
Document(s) archivé(s) le : lundi 5 avril 2010 - 23:48:06

Fichiers

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

640

Téléchargements de fichiers

2131