Coinductive Techniques for Operational Equivalence of Interaction Nets (1998)

Cached

Download Links

by Maribel Fernandez , Ecole Normale Superieure , Ian Mackie
Citations:9 - 5 self