The sequent calculus of skew monoidal categories
autor
Uustalu, Tarmo
Veltri, Niccolo
Zeilberger, Noam
vastutusandmed
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
allikas
The interplay of mathematics, logic, and linguistics
ilmumiskoht
Cham
kirjastus/väljaandja
Springer Nature
ilmumisaasta
2021
leheküljed
p. 377-406
seeria-sari
Outstanding contributions to logic ; 20
leitav
https://doi.org/10.1007/978-3-030-66545-6_11
märksõna
loogika
tõestused
monoidid
Agda (programmeerimiskeel)
ISSN
2211-2758
2211-2766
ISBN
978-3-030-66544-9
978-3-030-66545-6 (eBook)
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium