# Semantics Engineering with PLT Redex

Canonical: https://www.bookquiver.com/matthias-felleisen/semantics-engineering-with-plt-redex

![Semantics Engineering with PLT Redex](https://quivercdn.com/covers/the-mit-press/matthias-felleisen/semantics-engineering-with-plt-redex_978-02-6206-275-6.jpg?v=2026-06-19%2008%3A30%3A28)

- Authors: [Matthias Felleisen](https://www.bookquiver.com/matthias-felleisen), [Robert Bruce Findler](https://www.bookquiver.com/robert-bruce-findler), [Matthew Flatt](https://www.bookquiver.com/matthew-flatt)
- Language: en_US
- Published: 2009-07-10

## Description

The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. This text is the first comprehensive presentation of reduction semantics in...

## Editions

### Semantics Engineering with PLT Redex

- Publisher: the_mit_press
- ISBN: 978-02-6206-275-6
- Pages: 520
- Published: 2009-07-10
- Language: en_US