Amar Hadzihasanovic : Publications
-
[1]
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.
Details about Nonstandard functional interpretations and categorical models | BibTeX data for Nonstandard functional interpretations and categorical models
-
[2]
A Topological Perspective on Interacting Algebraic Theories
Amar Hadzihasanovic
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.
Details about A Topological Perspective on Interacting Algebraic Theories | BibTeX data for A Topological Perspective on Interacting Algebraic Theories | DOI (10.4204/EPTCS.236.5)
-
[3]
A Diagrammatic Axiomatisation for Qubit Entanglement
Amar Hadzihasanovic
In Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science. Pages 573–584. IEEE Computer Society. 2015.
Details about A Diagrammatic Axiomatisation for Qubit Entanglement | BibTeX data for A Diagrammatic Axiomatisation for Qubit Entanglement