TY  - RPRT
TI  - Un Résultat de Complétude pour les Types $\forall^+$ du Système F
AU  - Karim Nour
AU  - Samir Farkh
PY  - 2009
DO  - 10.1016/s0764-4442(97)82979-5
UR  - https://arxiv.org/abs/0905.0592
ID  - 0905.0592
ER  -