Coherence via focusing for symmetric skew monoidal categories
author
Veltri, Niccolo
statement of authorship
Niccolo Veltri
source
Logic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings
location of publication
Cham
publisher
Springer Nature Switzerland AG
year of publication
2021
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
url
https://doi.org/10.1007/978-3-030-88853-4_12
subject term
loogika
monoidid
koherentsus
kategooriad (matemaatika)
matemaatilised teooriad
Scopus
Conference Proceedings at Scopus
Article at Scopus
WOS
Conference Proceedings at WOS
Article at WOS
kvartiil
Q3
category (general)
Computer science
en
Arvutiteadus
et
Mathematics
en
Matemaatika
et
category (sub)
Computer science. General computer science
en
Arvutiteadus. Üldine arvutiteadus
et
Mathematics. Theoretical computer science
en
Matemaatika. Teoreetiline arvutiteadus
et
keyword
symmetric skew monoidal categories
focused sequent calculus
coherence
substructural logics
Agda
ISSN
0302-9743
ISBN
978-3-030-88852-7
notes
Bibliogr.: 33 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory