Glynn Winskel profile picture

Glynn Winskel

Is this your author profile? Create an account to claim and customize it!

Stand Alone

The formal semantics of programming languages
La semantica formale dei linguaggi di programmazione
Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
Seminar on Concurrency Carnegie-Mellon University Pittsburgh, PA, July 9-11, 1984
The Formal Semantics of Programming Languages An Introduction
Introduction to Formal Semantics
The Formal Semantics of Programming Languages An Introduction