Formal Semantics of Programming Languages
by
Glynn Winskel
Paperback
details (
USA
).
ISBN: 978-0-262-73103-4
ISBN-10: 0-262-73103-7
MIT Press
· 1993
See also (possibly by other authors):
1972
Hardcover
Formal Semantics of Programming Languages (Prentice-Hall series in automatic computation)