Accéder directement au contenu Accéder directement à la navigation
Cours

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
Liste complète des métadonnées

https://cel.archives-ouvertes.fr/cel-00574575
Contributeur : Jean-Louis Krivine Connectez-vous pour contacter le contributeur
Soumis le : mardi 8 mars 2011 - 16:13:22
Dernière modification le : samedi 28 mars 2020 - 02:17:30
Archivage à long terme le : : jeudi 9 juin 2011 - 02:38:52

Fichier

Identifiants

  • HAL Id : cel-00574575, version 1

Collections

Citation

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

Partager

Métriques

Les métriques sont temporairement indisponibles