Coherence via focusing for symmetric skew monoidal categories
author
Veltri, Niccolo
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
Springer Nature
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
conference location
Virtual
url
https://doi.org/10.1007/978-3-030-88853-4_12
subject term
loogika
monoidid
koherentsus
kategooriad (matemaatika)
matemaatilised teooriad
Scopus
https://www.scopus.com/sourceid/25674
https://www.scopus.com/record/display.uri?eid=2-s2.0-85117482051&origin=inward&txGid=26701c4376c40303ee23cb27b193b556
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=LECT%20NOTES%20ARTIF%20INT&year=2005
https://www.webofscience.com/wos/woscc/full-record/WOS:000876648000012
quartile
Q3
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory