Local and asynchronous beta-reduction (1993)

by V Danos, L Regnier
Venue:Proc. of Logic in Computer Science