Operational semantics in a natural deduction setting (1991)

by R BURSTALL, F HONSEI L
Venue:In Logical Frameworks, G. Huet and