G. Winskel

• The formal semantics of programming languages