@inCollection{GordonAD:opeeup, author = {A.~D. Gordon}, title = {Operational Equivalences for Untyped and Polymorphic Object Calculi}, pages = {9--54}, crossref = {GordonAD:higoot} } @inCollection{JeffreyA:semccm, author = {A. Jeffrey}, title = {Semantics for Core Concurrent ML Using Computation Types}, pages = {55--89}, crossref = {GordonAD:higoot} } @inCollection{LassenS:relrac, author = {S.~B. Lassen}, title = {Relational Reasoning About Contexts}}, pages = {91--135}, crossref = {GordonAD:higoot} } @inCollection{MitchellJC:labttf, author = {J.~C. Mitchell and M. Hoang and B.~T. Howard}, title = {Labelling Techniques and Typed Fixed-Point Operators}, pages = {137--174}, crossref = {GordonAD:higoot} } @inCollection{MorrisettG:semmmp, author = {G. Morrisett and R. Harper}, title = {Semantics of Memory Management for Polymorphic Languages}, pages = {175--226}, crossref = {GordonAD:higoot} } @inCollection{PittsAM:operfl, author = {A.~M. Pitts and I.~D.~B. Stark}, title = {Operational Reasoning for Functions with Local State}, pages = {227--273}, crossref = {GordonAD:higoot} } @inCollection{SandsD:impta, author = {D. Sands}, title = {Improvement Theory and Its Applications}, pages = {275--306}, crossref = {GordonAD:higoot} } @inCollection{SmithSF:covos, author = {S.~F. Smith}, title = {The Coverage of Operational Semantics}, pages = {307--346}, crossref = {GordonAD:higoot} } @inCollection{TalcottC:reafe, author = {C. Talcott}, title = {Reasoning about Functions with Effects}, pages = {347--390}, crossref = {GordonAD:higoot} } @book{GordonAD:higoot, editor = {A.~D. Gordon and A.~M. Pitts}, title = {Higher Order Operational Techniques in Semantics}, booktitle = {Higher Order Operational Techniques in Semantics}, publisher = {Cambridge University Press}, series = {Publications of the Newton Institute}, year = 1998 }