I have moved to RIMS, Kyoto University; please visit my new website.
Nonstandard functional interpretations and categorical models
Amar Hadzihasanovic and Benno van den Berg
In Notre Dame J. Formal Logic. Vol. 58. No. 3. Pages 343–380. 2017.
A Topological Perspective on Interacting Algebraic Theories
In Ross Duncan and Chris Heunen, editors, Proceedings 13th International Conference on Quantum Physics and Logic‚ Glasgow‚ Scotland‚ 6−10 June 2016. Vol. 236 of Electronic Proceedings in Theoretical Computer Science. Pages 70−86. Open Publishing Association. 2017.
A Diagrammatic Axiomatisation for Qubit Entanglement
In Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Pages 573–584. IEEE Computer Society. 2015.