Local Reasoning for Robust Observational Equivalence (preprint)

By Prof. Dan Ghica, Koko Muroya, Todd Waugh Ambridge July 2019

Early version of A Robust Graph-Based Approach to Observational Equivalence.