Winskel,, Glynn The formal semantics of programming languages : an introduction / Glynn Winskel

The formal semantics of programming languages : an introduction / Glynn Winskel . - Cambridge, Mass. : The MIT Press, imp. 2001 . - XVIII, 361 p. : il. 24 cm . - (Foundations of computing series)
0-262-73103-7 Brochado

519.682