Local and asyncrhonous betareduction (1993)

by Vincent Danos, Laurent Regnier
Venue:In Proc. 8th LICS