1 / 1
- 2009
- year of publication
- 520
- pages
- English (United States)
- language
- Hardcover
- cover
- Publisher
- the_mit_press
- ISBN-13
- 978-02-6206-275-6
- EAN
- 9780262062756
- Publication date
- 2009-07-10
- Book
- Semantics Engineering with PLT Redex · 1 edition
The publisher on this edition
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...