Winskel, Glynn
The formal semantics of programming languages : an introduction / Glynn Winskel. - Cambridge, US : The MIT Press , cop. 1993 . - XVIII, 361 p. : il. ; 23 cm. - (Foundations of computing)
ISBN 0-262-23169-7
Linguagens de programação (Computadores eletrónicos)
LCC QA76.7
The formal semantics of programming languages : an introduction / Glynn Winskel. - Cambridge, US : The MIT Press , cop. 1993 . - XVIII, 361 p. : il. ; 23 cm. - (Foundations of computing)
ISBN 0-262-23169-7
Linguagens de programação (Computadores eletrónicos)
LCC QA76.7