The Coverage of Operational Semantics (1998)

by Scott F. Smith
Venue:Higher Order Operational Techniques in Semantics, Publications of the Newton Institute
Citations:4 - 0 self