Coherence via focusing for symmetric skew monoidal categories
autor
vastutusandmed
Niccolo Veltri
allikas
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
ilmumiskoht
Cham
kirjastus/väljaandja
ilmumisaasta
leheküljed
p. 184-200
seeria-sari
Lecture notes in computer science ; 13038
konverentsi nimetus, aeg
27th International Workshop, WoLLIC 2021 : Logic, Language, Information, and Computation, October 5-8, 2021
kvartiil
kategooria (üld)
kategooria (alam)
võtmesõna
ISSN
0302-9743
ISBN
978-3-030-88852-7
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
TTÜ struktuuriüksus
keel
inglise
Uurimisrühm
Veltri, N. Coherence via focusing for symmetric skew monoidal categories // Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings. Cham : Springer Nature, 2021. p. 184-200. (Lecture notes in computer science ; 13038). https://doi.org/10.1007/978-3-030-88853-4_12