A new intrinsic characterization of the principal type schemes - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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 : PRINCIPAL TYPE SCHEME LINEAR LOGIC PROOF NET DENOTATIONAL SEMANTICS LAMBDA-CALCULUS





Autor: Eric Duquesne - Jacques Van de Wiele

Fuente: https://hal.archives-ouvertes.fr/

Enviar