Skip navigation

Glynn Winskel

Glynn Winskel is Professor of Computer Science at the University of Aarhus, Denmark.

Titles by This Author

An Introduction

The Formal Semantics of Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the semantics and logics of programming languages. These techniques will allow students to invent, formalize, and justify rules with which to reason about a variety of programming languages. Although the treatment is elementary, several of the topics covered are drawn from recent research, including the vital area of concurency. The book contains many exercises ranging from simple to miniprojects.