TY  - GEN
AU  - Pierce, Benjamin C.
TI  - Advanced topics in types and programming languages 
SN  - 9780262162289
U1  - 005.13 PIE/A 
PY  - 2005///
CY  - Cambridge
PB  - The MIT Press 
ER  -