If you made any changes in Pure these will be visible here soon.

Research Output 2018 2018

  • 2 Conference Contribution
  • 1 Conference contribution book
2018
11 Citations (Scopus)
123 Downloads (Pure)

Interacting Frobenius algebras are Hopf

Duncan, R. & Dunne, K., 17 Dec 2018, Proceedings of the 31st annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, NY, 10 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Frobenius Algebra
Hopf Algebra
Distributive law
Algebra
Concurrent Programming
9 Downloads (Pure)

On the structure of abstract h*-algebras

Dunne, K., 27 Feb 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 266, p. 197-208 12 p.

Research output: Contribution to journalConference Contribution

Open Access
File
Quantum theory
Algebra
Hilbert spaces
13 Downloads (Pure)

Spectral presheaves, kochen-specker contextuality, and quantale-valued relations

Dunne, K., 27 Feb 2018, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 266, p. 386-398 13 p.

Research output: Contribution to journalConference Contribution

Open Access
File
Quantum theory
Algebra
Topology