Interaction systems I: The theory of optimal reductions (1994)

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