Coherence via focusing for symmetric skew monoidal categories
autor
vastutusandmed
Niccolò 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
konverentsi toimumispaik
Virtual
ISSN
0302-9743
ISBN
978-3-030-88852-7
märkused
Bibliogr.: 33 ref
teaduspublikatsioon
teaduspublikatsioon
TTÜ struktuuriüksus
keel
inglise
kvartiil
klassifikaator
kategooria (üld)
kategooria (alam)
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).