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
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
https://www.scopus.com/sourceid/20569
https://www.scopus.com/record/display.uri?eid=2-s2.0-85058062732&origin=inward&txGid=a098673aae50e82c85aea4122a0b82ac
WOS
https://www.webofscience.com/wos/woscc/full-record/WOS:000452898800017
category (general)
Computer science
Arvutiteadus
Mathematics
Matemaatika
category (sub)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory