A new intrinsic characterization of the principal type schemes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1995

A new intrinsic characterization of the principal type schemes

Eric Duquesne
  • Function : Author
Jacques van de Wiele
  • Function : Author

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.
Fichier principal
Vignette du fichier
RR-2416.pdf (280.61 Ko) Télécharger le fichier

Dates and versions

inria-00074259 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00074259 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More