Nick Hu : Publications
Conference papers
-
[1]
Traced Monoidal Categories as Algebraic Structures in Prof
Nick Hu and Jamie Vicary
In Ana Sokolova, editor, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics‚ MFPS 2021‚ Hybrid: Salzburg‚ Austria and Online‚ 30th August − 2nd September‚ 2021. Vol. 351 of EPTCS. Pages 84–97. 2021.
Details about Traced Monoidal Categories as Algebraic Structures in Prof | BibTeX data for Traced Monoidal Categories as Algebraic Structures in Prof | DOI (10.4204/EPTCS.351.6) | Link to Traced Monoidal Categories as Algebraic Structures in Prof
-
[2]
Codensity Games for Bisimilarity
Yuichi Komorida‚ Shin−ya Katsumata‚ Nick Hu‚ Bartek Klin and Ichiro Hasuo
In 34th Annual ACM/IEEE Symposium on Logic in Computer Science‚ LICS 2019‚ Vancouver‚ BC‚ Canada‚ June 24−27‚ 2019. Pages 1–13. IEEE. 2019.
Details about Codensity Games for Bisimilarity | BibTeX data for Codensity Games for Bisimilarity | Download (pdf) of Codensity Games for Bisimilarity | DOI (10.1109/LICS.2019.8785691) | Link to Codensity Games for Bisimilarity
Theses
-
[1]
External traced monoidal categories
Nick Hu
Master's Thesis University of Oxford. 2019.
Details about External traced monoidal categories | BibTeX data for External traced monoidal categories | Download (pdf) of External traced monoidal categories