HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information

# A new intrinsic characterization of the principal type schemes

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.
keyword :
Document type :
Reports
Domain :

https://hal.inria.fr/inria-00074259
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 2:52:39 PM
Last modification on : Friday, February 4, 2022 - 3:08:32 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:14:21 PM

### Identifiers

• HAL Id : inria-00074259, version 1

### Citation

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

Record views