Correspondence between Operational and Denotational Semantics (1995)

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

Document Versions

Correspondence between Operational and Denotational Semantics –C. -h. L. Ong — 1995 — Handbook of Logic in Computer Science
Correspondence between operational and denotational semantics: the full abstraction problem for PCF –C. -h. L. Ong — 1995