TY  - BOOK
AU  - Gilles, Dowek
AU  - Jean-jacques, lévy
TI  - Introduction à la théorie des langages de programmation
SN  - 2730213333
PY  - 2006///
CY  - Paris
PB  - Ecole Polytechniques
KW  - Les termes, les relations, le langage PCF
UR  - http://41.111.198.133/Z/INF.004.1.05.pdf
ER  -