Volume 20, Numbers 1-2, June 2007 Special Issue on Rewriting Logic and its Applications
Volume 20, Number 3, September 2007
: Strongly reducing variants of the Krivine abstract machine.
: On the correctness of the Krivine machine.
: Explaining the lazy Krivine machine using explicit substitution and addresses.
David A. Schmidt
: State-transition machines for lambda-calculus expressions.
Volume 20, Number 4, December 2007