Interaction Systems I: the theory of optimal reduction (1994)

by Andrea Asperti, Cosimo Laneve
Venue:Mathematical Structures in Computer Science