Proof theory of partially normal skew monoidal categories
autor
Uustalu, Tarmo
Veltri, Niccolo
Zeilberger, Noam
vastutusandmed
Tarmo Uustalu, Niccolo Veltri, Noam Zeilberger
allikas
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
kirjastus/väljaandja
Cornell University
ilmumisaasta
2021
leheküljed
p. 1-17
konverentsi nimetus, aeg
3rd Annual International Applied Category Theory Conference 2020, July 6-10 2020
konverentsi toimumispaik
Virtual Conference
leitav
https://doi.org/10.48550/arXiv.2101.10487
märksõna
monoidid
teoreemid
algebralised struktuurid
Scopus
https://www.scopus.com/sourceid/21100244944
https://www.scopus.com/record/display.uri?eid=2-s2.0-85101268643&origin=inward&txGid=3b643d8f15203d885507ba2ca79e8b59
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:001035431200016
kvartiil
Q3
kategooria (üld)
Computer science
Arvutiteadus
Computer science. Software
Arvutiteadus. Tarkvara
märkused
Ilmus arxiv.org
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium