The sequent calculus of skew monoidal categories
autor
Uustalu, Tarmo
Veltri, Niccolo
Zeilberger, Noam
vastutusandmed
Tarmo Uustalu,Niccolò Veltri, Noam Zeilberger
allikas
Electronic notes in theoretical computer science
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 341, 1
ilmumisaasta
2018
leheküljed
p. 345-370
leitav
https://doi.org/10.1016/j.entcs.2018.11.017
märksõna
loogika
tõestused
monoidid
Agda (programmeerimiskeel)
võtmesõna
skew monoidal categories
substructural logics
sequent calculus
nonstandard sequent forms
cut admissibility
focusing
Agda
ISSN
1571-0661
märkused
Bibliogr.: 18 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
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
kategooria (üld)
Computer science
Arvutiteadus
Mathematics
Matemaatika
kategooria (alam)
Computer science. General computer science
Arvutiteadus. Üldine arvutiteadus
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium