# The Formal Semantics of Programming Languages

Canonical: https://www.bookquiver.com/glynn-winskel/the-formal-semantics-of-programming-languages

![The Formal Semantics of Programming Languages](https://quivercdn.com/covers/the-mit-press/glynn-winskel/the-formal-semantics-of-programming-languages_978-02-6273-103-4.jpg?v=2026-06-23%2008%3A42%3A35)

- Authors: [Glynn Winskel](https://www.bookquiver.com/glynn-winskel)
- Language: en_US
- Published: 1993-02-05

## Description

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...

## Editions

### The Formal Semantics of Programming Languages

- Publisher: the_mit_press
- ISBN: 978-02-6273-103-4
- Pages: 384
- Published: 1993-02-05
- Language: en_US