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

Research Output 2018 2018

  • 2 Conference Contribution
  • 1 Conference contribution book
Conference contribution book
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
Frobenius Algebra
Hopf Algebra
Distributive law
Concurrent Programming