TY - BOOK T1 - The formal semantics of programming languages : an introduction T2 - Foundations of computing A1 - Winskel, Glynn LA - English PP - Cambridge PB - MIT Press YR - 1993 ED - 1st ed. UL - https://catalogo.bibliotecas.unlp.edu.ar/Record/dif.51472 OP - 361 NO - Incluye bibliografía. -- SN - 0262731037 KW - LENGUAJES DE PROGRAMACIÓN KW - SEMÁNTICA ER -