Amar Hadzihasanovic : Publications

Click here to download all publications in a single bibtex file

@article{hadzihasanovic14,
  title = "Nonstandard functional interpretations and categorical models",
  author = "Amar Hadzihasanovic and Benno van den Berg",
  year = "2017",
  journal = "Notre Dame J. Formal Logic",
  number = "3",
  pages = "343--380",
  publisher = "Duke University Press",
  volume = "58",
}

@inproceedings{EPTCS236.5,
  title = "A Topological Perspective on Interacting Algebraic Theories",
  author = "Hadzihasanovic, Amar",
  year = "2017",
  booktitle = "{\rm Proceedings 13th International Conference on} Quantum Physics and Logic, {\rm Glasgow, Scotland, 6-10 June 2016}",
  editor = "Duncan, Ross and Heunen, Chris",
  pages = "70-86",
  publisher = "Open Publishing Association",
  series = "Electronic Proceedings in Theoretical Computer Science",
  volume = "236",
  doi = "10.4204/EPTCS.236.5",
}

@inproceedings{hadzihasanovic15,
  title = "A Diagrammatic Axiomatisation for Qubit Entanglement",
  author = "Amar Hadzihasanovic",
  year = "2015",
  booktitle = "Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science",
  pages = "573--584",
  publisher = "IEEE Computer Society",
}