Coherence via focusing for symmetric skew monoidal categories
author
statement of authorship
Niccolò Veltri
source
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
location of publication
Cham
publisher
year of publication
pages
p. 184-200
series
Lecture notes in computer science ; 13038
conference name, date
27th International Workshop, WoLLIC 2021 : Logic, Language, Information, and Computation, October 5-8, 2021
conference location
Virtual
ISSN
0302-9743
ISBN
978-3-030-88852-7
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
kvartiil
classifier
category (general)
Reserch Group
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).