Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15--19, 2019

DOI10.4204/EPTCS.323MaRDI QIDQ4994497zbMATH OpenFDO

Authors

Publication date 18 June 2021

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2009.06334, http://eptcs.web.cse.unsw.edu.au/content.cgi?ACT2019

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proceedings, conferences, collections, etc. pertaining to category theory (18-06)

Recommendations

• Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
• Proceedings of the 16th international conference on quantum physics and logic, QPL 2019, Chapman University, Orange, CA, USA, June 10--14, 2019
• Foreword
• Categorical methods in computer science. With aspects from topology. International workshop, September 1988, Berlin (West). Proceedings
• Categories in Computer Science and Logic

Cited in

(7)

• scientific article; zbMATH DE number 2121539 (Why is no real title available?)
• Scientific Legacy of Professor Zbigniew Oziewicz
• Foreword
• Category Theory in Physics, Mathematics, and Philosophy
• Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
• Proceedings of the second workshop on applied and computational category theory (ACCAT 2007), Braga, Portugal, March 25, 2007
• Special issue: Applied and computational category theory. Selected papers based on the presentations at the 3rd ACCAT workshop at ETAPS, Budapest, Hungary, March 29 -- April 6, 2008, and 4th ACCAT workshop at ETAPS, York, England, March 22 -- 29, 2009.

This page was built for publication: Proceedings of the applied category theory 2019, ACT 2019, University of Oxford, UK, July 15--19, 2019

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4994497)