Sciweavers

ENTCS
2006

A Proof Theoretic Approach to Operational Semantics

13 years 11 months ago
A Proof Theoretic Approach to Operational Semantics
Dale Miller
Added 12 Dec 2010
Updated 12 Dec 2010
Type Journal
Year 2006
Where ENTCS
Authors Dale Miller
Comments (0)