Semantics with Applications: A Formal Introduction
- 1992
- 240 pages
Opens the author, publisher or archive page. FreeTechBooks does not host the file.
The book covers the foundations of structural operational semantics (where computations consist of many small steps) and natural semantics (where computations consist of one big step).
Bibliographic record recovered from the original FreeTechBooks listing. View archived source.
