# The Formal Semantics of Programming Languages

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

![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)

- Book: [The Formal Semantics of Programming Languages](https://www.bookquiver.com/glynn-winskel/the-formal-semantics-of-programming-languages) ([The Formal Semantics of Programming Languages.md](https://www.bookquiver.com/glynn-winskel/the-formal-semantics-of-programming-languages.md))
- Authors: [Glynn Winskel](https://www.bookquiver.com/glynn-winskel)
- Publisher: the_mit_press
- ISBN: 978-02-6273-103-4
- Pages: 384
- Published: 1993-02-05
- Language: en_US
- Binding: Softcover

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