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. 1996 . - XVIII, 361 p. 24 cm . - (Foundations of computing series)
0-262-23169-7 (Encadernado)

519.682