The formal semantics of programming languages : an introduction /

• Κύριος συγγραφέας: Winskel, G. (Glynn) (συγγραφέας.)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996].
• Σειρά: Foundations of computing
• Θέματα: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού.