TY  - BOOK
AU  - Harper,Robert
TI  - Practical foundations for programming languages
SN  - 9781107150300 (Hardback)
AV  - QA76.7  H373 2016
PY  - 2016///
CY  - New York, NY.
PB  - Cambridge University Press, 
KW  - Programming languages (Electronic computers)
KW  - lemb
KW  - Lenguajes de programación (Computadoras electrónicas)
N1  - Incluye referencias bibliográficas ([481]-485) e índice
ER  -