How abstract machines implement head linear reduction. Submitted to Higher Order and Symbolic Computation (2004)

by V Danos, L Regnier