The sequent calculus of skew monoidal categories
author
Uustalu, Tarmo
Veltri, Niccolo
Zeilberger, Noam
statement of authorship
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
source
The interplay of mathematics, logic, and linguistics
location of publication
Cham
publisher
Springer Nature
year of publication
2021
pages
p. 377-406
series
Outstanding contributions to logic ; 20
url
https://doi.org/10.1007/978-3-030-66545-6_11
subject term
loogika
tõestused
monoidid
Agda (programmeerimiskeel)
ISSN
2211-2758
2211-2766
ISBN
978-3-030-66544-9
978-3-030-66545-6 (eBook)
scientific publication
teaduspublikatsioon
classifier
3.1
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory