Coinductive Techniques for Operational Equivalence of Interaction Nets (1998)

Cached

Download Links

by Maribel Fernandez , Ecole Normale Superieure , Ian Mackie
Citations:10 - 6 self