A new intrinsic characterization of the principal type schemes

Eric Duquesne 1 Jacques Van de Wiele
1 PARA - Parallélisme
Inria Paris-Rocquencourt
Abstract : 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.
Type de document :
Rapport
[Research Report] RR-2416, INRIA. 1995
Liste complète des métadonnées

https://hal.inria.fr/inria-00074259
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 14:52:39
Dernière modification le : samedi 17 septembre 2016 - 01:35:21
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:14:21

Fichiers

Identifiants

  • HAL Id : inria-00074259, version 1

Collections

Citation

Eric Duquesne, Jacques Van de Wiele. A new intrinsic characterization of the principal type schemes. [Research Report] RR-2416, INRIA. 1995. 〈inria-00074259〉

Partager

Métriques

Consultations de la notice

230

Téléchargements de fichiers

101