5 citations · 12 across the 9 of their papers we have counts for
1 paper · 2 filters
Eduardo Bonelli, Delia Kesner, Andrés Viso
The purpose of this paper is to identify programs with control operators whose reduction semantics are in exact correspondence. This is achieved by introducing a relation ≃,…