A Structural Approach to Operational Semantics (1981)

Cached

Download Links

by G. D. Plotkin
Citations:1290 - 3 self