Chris Heunen

View Scopus Profile

Chris Heunen

PROF

 https://orcid.org/0000-0001-7393-2640

Accepting PhD Students

Filter
Chapter (peer-reviewed)

Search results

  • 2023

    Compact inverse categories

    Heunen, C. & Cockett, R., 4 Aug 2023, Samson Abramsky on Logic and Structure in Computer Science and Beyond . Springer, Vol. 25. p. 813-832 (Outstanding Contributions to Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • 2013

    Compositional Quantum Logic

    Coecke, B., Heunen, C. & Kissinger, A., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer, p. 21-36 16 p. (Lecture Notes in Computer Science; vol. 7860).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review

  • On the Functor ℓ2

    Heunen, C., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Springer, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 7860).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter (peer-reviewed) › peer-review