inria-00074259, version 1
A new intrinsic characterization of the principal type schemes
Eric Duquesne 1Jacques Van De Wiele
N° RR-2416 (1995)
Résumé : The purpose of this article is to establish a new intrinsic characterization of the principal type schemes (or pts's for short) of the approximate normal $\lambda$-terms (or approximate normal forms). This is done by defining a correspondance between cut-free proof nets, $\beta$-normal $\lambda$-terms and their principal type schemes, and better, by defining a correspondance between approximate cut-free proof nets, approximate normal terms and their principal type schemes.
- 1 : PARA (INRIA Rocquencourt)
- INRIA
- Domaine : Informatique/Autre
- Mots-clés : LAMBDA-CALCULUS / DENOTATIONAL SEMANTICS / PRINCIPAL TYPE SCHEME / LINEAR LOGIC / PROOF NET
- Référence interne : RR-2416
- Commentaire : Projet PARA
- inria-00074259, version 1
- http://hal.inria.fr/inria-00074259
- oai:hal.inria.fr:inria-00074259
- Contributeur : Rapport De Recherche Inria
- Soumis le : Mercredi 24 Mai 2006, 14:52:39
- Dernière modification le : Mardi 29 Mai 2007, 12:27:27
Documents associés
Exporter