High-order operational techniques in semantics

• Άλλοι συγγραφείς: Gordon, Andrew D.
• Μορφή: Βιβλίο
• Γλώσσα: Greek
• Έκδοση: Cambridge University Press 1998
• Θέματα: ΕΣΑ; Σημασιολογία; PROGRAMMING LANGUAGES