@article{hal-00381595, author = {Farkh, Samir and Nour, Karim}, title = {Les types de donn\'ees syntaxiques du syst\`eme F}, journal = {HAL}, volume = {2001}, number = {0}, year = {2001}, language = {fr}, url = {http://dml.mathdoc.fr/item/hal-00381595} }
Farkh, Samir; Nour, Karim. Les types de données syntaxiques du système F. HAL, Tome 2001 (2001) no. 0, . http://gdmltest.u-ga.fr/item/hal-00381595/