On doctrines and Cartesian bicategories
author
Bonchi, Filippo
Santamaria, Alessio
Seeber, Jens
Sobocinski, Pawel Maria
statement of authorship
Filippo Bonchi, Alessio Santamaria, Jens Seeber, and Paweł Sobociński
source
CALCO 2021 : 9th International Conference on Algebra and Coalgebra in Computer Science, Aug 31 - Sep 3, 2021, Salzburg, Austria : proceedings
location of publication
Dagstuhl
publisher
Dagstuhl Publishing
year of publication
2021
pages
p. 10:1−10:7
series
Leibniz international proceedings in informatics (LIPIcs) ; 211
url
https://doi.org/10.4230/LIPIcs.CALCO.2021.10
subject term
kategooriateooria
algebra
Scopus
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85120633403&origin=inward&txGid=314c457be65ccb9c6fd1cb2817f12f50
quartile
Q3
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
keyword
cartesian bicategories
elementary existential doctrines
string diagrams
ISSN
1868-8969
ISBN
978-3-95977-212-9
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
Laboratory for compositional systems and methods