Formal Semantics of Programming Languages

Semantics

by Glynn Winskel

Paperback

ISBN: 978-0-262-73103-4

ISBN-10: 0-262-73103-7

MIT Press · 1993

See also (possibly by other authors):
1972HardcoverFormal Semantics of Programming Languages (Prentice-Hall series in automatic computation)