Adapting big-step semantics to small-step style: Coinductive interpretations and “higher-order” derivations (2000)

by Husain Ibraheem, David A Schmidt
Venue:Electronic Notes in Theoretical Computer Science