Filippo Bonchi, Jens Seeber, Pawel Sobocinski. The Axiom of Choice in Cartesian Bicategories. In Markus Roggenbach, Ana Sokolova, editors, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. Volume 139 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.