TY  - BOOK
AU  - Pierce, Benjamin C.
TI  - Types and Programming Languages
SN  - 9780262162098
U1  - 005.13 
PY  - 2002///
CY  - Estados Unidos
PB  - The MIT Press
KW  - Algoritmos informáticos
KW  - Lenguajes de programación
N1  - Incluye tabla de contenido, bibliografia, indice
ER  -