Local and asynchronous beta reduction (1993)

by V Danos, L Regnier
Venue:In Proceedings of the Eighth Annual IEEE Symp. on Logic in Computer Science