On doctrines and Cartesian bicategories
autor
Bonchi, Filippo
Santamaria, Alessio
Seeber, Jens
Sobocinski, Pawel Maria
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
Dagstuhl Publishing
ilmumisaasta
2021
leheküljed
p. 10:1−10:7
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 211
leitav
https://doi.org/10.4230/LIPIcs.CALCO.2021.10
märksõna
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
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
cartesian bicategories
elementary existential doctrines
string diagrams
ISSN
1868-8969
ISBN
978-3-95977-212-9
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Kompositsiooniliste süsteemide ja meetodite labor