25 citations · 210 across the 59 of their papers we have counts for
1 paper · 2 filters
Jean-Guillaume Dumas, Dominique Duval, Laurent Fousse +1
In this paper we consider the two major computational effects of states and exceptions, from the point of view of diagrammatic logics. We get a surprising result: there exists a sy…