Lambda-calculus types and models

Résumé : Cours de lambda-calcul. Définition, beta-reduction et confluence. Représentation des fonctions récursives. Modèles du lambda-calcul Logique combinatoire Types, système F
Type de document :
Cours
DEA. Université Paris 7, 2002, pp.208
Liste complète des métadonnées

https://cel.archives-ouvertes.fr/cel-00574575
Contributeur : Jean-Louis Krivine <>
Soumis le : mardi 8 mars 2011 - 16:13:22
Dernière modification le : mardi 11 octobre 2016 - 13:58:12
Document(s) archivé(s) le : jeudi 9 juin 2011 - 02:38:52

Fichier

Identifiants

  • HAL Id : cel-00574575, version 1

Collections

INSMI | PPS | USPC

Citation

Jean-Louis Krivine. Lambda-calculus types and models. DEA. Université Paris 7, 2002, pp.208. <cel-00574575>

Partager

Métriques

Consultations de
la notice

1192

Téléchargements du document

496