Correspondence between Operational and Denotational Semantics (1995)

by C. -h. L. Ong
Venue:Handbook of Logic in Computer Science
Citations:23 - 0 self