TY  - BOOK
AU  - Pierce Benjamin C
TI  - Types and programming languages by Benjamin C Pierce
SN  - 0262162091 (hbd)
U1  - D65,8(B)92, P2 
PY  - 2002///
CY  - Cambridge
PB  - MIT Press        
KW  -  Computer programming
KW  - Computer science
N1  - Appendix A-B, 491-566p; Bibliographical references 567-603p; Index 605-623p; ^n23/CSL/D65/2002-2003/225^d2002-07-22^mPurchase; ; 2002-03/113^b2002-08-01^c1709^d2002-07-29^eRs.6,476.56^fThe Book Seller; ; 2002-12-18^bSB^c2003-07-04^dRPS
ER  -