QPL | Nijmegen, Netherlands | 3-7 JUL. 2017 26 juin 201726 juin 2017 rvilmart Talk about the Y-Calculus at the international conference on Quantum Physics and Logic.