Les -types du système
K. Nour (2001)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Nous démontrons dans ce papier que les types du système habités uniquement par des -termes (les -types) sont à quantificateur positif. Nous présentons ensuite des conséquenses de ce résultat et quelques exemples.