Asperti and Cosimo Laneve. Interaction system II: The practice of optimal reductions (1996)

by AL96 Andrea
Venue:Theoretical Computer Science