4 citations · 5 across the 2 of their papers we have counts for
1 paper · 1 filter
Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge
We propose a new step-wise approach to proving observational equivalence, and in particular reasoning about fragility of observational equivalence. Our approach is based on what we…