The formal semantics of programming languages : an introduction /

• Main Author: Winskel, G. (Glynn) (συγγραφέας.)
• Format: Book
• Language: English
• Published: Cambridge, Mass. : MIT Press, 1993 [3rd printing 1996].
• Series: Foundations of computing
• Subjects: Ηλεκτρονικοί υπολογιστές > Γλώσσες προγραμματισμού.