image of Glynn Winskel

Glynn Winskel

... Unknown

The formal semantics of programming languages : An Introduction is a book written by Glynn Winskel.