Title: Higher Order Operational Techniques in Semantics
Subjects: Electronic data processing, Programming languages (electronic computers), Logic, symbolic and mathematical, Symbolic and mathematical Logic, Semantics, Programming languages (Electronic computers)