24 citations · 79 across the 15 of their papers we have counts for
1 paper · 1 filter
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo +1
We graft synchronization onto Girard's Geometry of Interaction in its most concrete form, namely token machines. This is realized by introducing proof-nets for SMLL, an extension o…