The formal semantics of programming languages an introduction

• Main Author: Winskel, G. (Glynn)
• Format: Book
• Language: English
• Published: Cambridge, Mass. MIT Press 1993
• Series: Foundations of computing
• Subjects: Γλώσσες προγραμματισμού; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές
• Physical Description: xviii, 361 p. 24 cm.
• Bibliography: Includes bibliographical references and index
• ISBN: 0262231697