31 citations · 53 across the 15 of their papers we have counts for
1 paper · 2 filters
Mario Bravetti
Milner's complete proof system for observational congruence is crucially based on the possibility to equate τ divergent expressions to non-divergent ones by means of the axiom $r…