A Completeness Result for the ∀ + Types

Résumé. Nous présentons dans cette note un résultat de complétude pour les types à quantificateurs positifs du système F de J.-Y. Girard. Ce résultat généralise un théorème de R. Labib-Sami (voir [3]).

Bibliographic Details
Main Authors: Du Système F, Of System F
Other Authors: The Pennsylvania State University CiteSeerX Archives
Format: Text
Language:English
Published: 2009
Subjects:
sami
Online Access:http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.9710
http://hal.archives-ouvertes.fr/docs/00/38/12/15/PDF/THESE.pdf
Description
Summary:Résumé. Nous présentons dans cette note un résultat de complétude pour les types à quantificateurs positifs du système F de J.-Y. Girard. Ce résultat généralise un théorème de R. Labib-Sami (voir [3]).

Similar Items