Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00074259
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 2:52:39 PM
Last modification on : Friday, May 25, 2018 - 12:02:05 PM
Long-term archiving on: : Sunday, April 4, 2010 - 10:14:21 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

277

Files downloads

148