TY - BOOK ID - 16762285 TI - The formal semantics of programming languages AU - Winskel, G AU - IEEE Xplore (Online service) AU - MIT Press PY - 1993 SN - 0262231697 9780262291453 9780262731034 0262291452 9780262231695 0262731037 PB - Cambridge, Massachusetts [Piscataqay, New Jersey] MIT Press IEEE Xplore DB - UniCat KW - Programming languages (Electronic computers) KW - Semantics. KW - Programming KW - Semantics KW - Langages de programmation KW - Sémantique KW - Informatique KW - Computer science KW - Sémantique KW - Programming languages (Electronic computers) - Semantics. KW - operational-semantics KW - denotational-semantics KW - axiomatic-semantics KW - domain-theory KW - information-systems KW - recursive-types KW - nondeterminism KW - Parallelism KW - Programming languages (Electronic computers) - Semantics UR - https://www.unicat.be/uniCat?func=search&query=sysid:16762285 AB - ER -