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: Γλώσσες προγραμματισμού; Ηλεκτρονικοί υπολογιστές > Μαθηματικές αρχές