Local and asyncrhonous betareduction (1993)

by Vincent Danos, Laurent Regnier
Venue:In Proceedings of 8th Annual Symposium on Logic in Computer Science