High-order operational techniques in semantics

• Other Authors: Gordon, Andrew D.
• Format: Book
• Language: Greek
• Published: Cambridge University Press 1998
• Subjects: ΕΣΑ; Σημασιολογία; PROGRAMMING LANGUAGES