Winskel, Glynn
Formal semantics of programming languages an introduction - Cambridge MIT Press 1993 - 361 - Foundations of computing .
9780262731034
Programming languages - semantics
681.3 WIN
Formal semantics of programming languages an introduction - Cambridge MIT Press 1993 - 361 - Foundations of computing .
9780262731034
Programming languages - semantics
681.3 WIN