On doctrines and Cartesian bicategories
Bonchi, Filippo
;
Santamaria, Alessio
;
Seeber, Jens
;
Sobocinski, Pawel Maria
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
2021
/
p. 10:1−10:7
https://doi.org/10.4230/LIPIcs.CALCO.2021.10
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85120633403&origin=inward&txGid=314c457be65ccb9c6fd1cb2817f12f50