print

The sequent calculus of skew monoidal categories

author
Uustalu, Tarmo
Veltri, Niccolo
Zeilberger, Noam
statement of authorship
Tarmo Uustalu,Niccolò Veltri, Noam Zeilberger
source
Electronic notes in theoretical computer science
publisher
Elsevier B.V.
journal volume number month
vol. 341, 1
year of publication
2018
pages
p. 345-370
url
https://doi.org/10.1016/j.entcs.2018.11.017
subject term
loogika
tõestused
monoidid
Agda (programmeerimiskeel)
keyword
skew monoidal categories
substructural logics
sequent calculus
nonstandard sequent forms
cut admissibility
focusing
Agda
ISSN
1571-0661
notes
Bibliogr.: 18 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
Scopus
Journal metrics at Scopus
Article at Scopus
WOS
Article at WOS
category (general)
Computer science
Mathematics
category (sub)
Computer science. General computer science
Mathematics. Theoretical computer science
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
Uustalu, T., Veltri, N., Zeilberger, N. The sequent calculus of skew monoidal categories // Electronic notes in theoretical computer science (2018) vol. 341, 1, p. 345-370. https://doi.org/10.1016/j.entcs.2018.11.017