Winskel, Glynn

Formal semantics of programming languages : an introduction - Cambridge MIT Press 1993 - xviii, 361p. ill.

Includes bibliographies

0262231697


Programming language ( Electronics computers) semantics

QA76.7 / .W555 1993

005.13 / WIN/1993