On doctrines and Cartesian bicategories
autor
vastutusandmed
Filippo Bonchi, Alessio Santamaria, Jens Seeber, and Paweł Sobociński
allikas
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
ilmumiskoht
Dagstuhl
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 10:1−10:7
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 211
ISSN
1868-8969
ISBN
978-3-95977-212-9
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
märksõna
võtmesõna
kategooria (üld)
kategooria (alam)
Bonchi, F., Santamaria, A., Seeber, J., Sobocinski, P.M. On doctrines and Cartesian bicategories // CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings. Dagstuhl : Dagstuhl Publishing, 2021. p. 10:1−10:7. (Leibniz international proceedings in informatics (LIPIcs) ; 211).