Limitations of Applicative Bisimulation

Cached

Download Links

by Vasileios Koutavas , Paul Blain Levy , Eijiro Sumii