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 : jeudi 11 janvier 2018 - 06:17:48
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

1486

Téléchargements de fichiers

663