Interaction Systems II: The Practice of Optimal Reductions (1994)

View PDF

Download Links

by Andrea Asperti , Cosimo Laneve
Venue:Theoretical Computer Science
Citations:19 - 6 self