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

Cached

Download Links

by Andrea Asperti , Cosimo Laneve
Venue:Theoretical Computer Science
Citations:18 - 5 self