Home›Books›The formal semantics of programming languagesThe formal semantics of programming languagesby Glynn WinskelPopularity 1No description available.SemanticsLogic, symbolic and mathematicalComputer science