9 citations · 31 across the 12 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…