3 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 3 cited
Proceedings of the 11th workshop on Quantum Physics and Logic
Bob Coecke, Ichiro Hasuo, Prakash Panangaden
This volume contains the proceedings of the 11th International Workshop on Quantum Physics and Logic (QPL 2014), which was held from the 4th to the 6th of June, 2014, at Kyoto Univ…
cs.LO2014★ 1 cited
The Geometry of Synchronization (Long Version)
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…