000 00614nam0a22002171i 4500
001 46313
010 _a2730213333
090 _a46313
100 _a20240205 frey50
101 0 _afre
102 _cFR
200 1 _aIntroduction à la théorie des langages de programmation
210 _cEcole Polytechniques
_aParis
_d2006
215 _bLivre
_a107 p.
_cCouv,ill
_d24 cm.
606 _aLes termes, les relations, le langage PCF
700 0 _aGilles, Dowek
702 0 _aJean-jacques, lévy
852 _jINF/004/1/05
856 _zSommaire
_uhttp://41.111.198.133/Z/INF.004.1.05.pdf
942 _cBK
950 _a5