Uustalu, T., Veltri, N., Zeilberger, N.

prindi

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 B.V.

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

teaduspublikatsioon

klassifikaator

1.1

Scopus

Journal metrics at Scopus

Article at Scopus

WOS

Article at WOS

kategooria (üld)

Arvutiteadus

Matemaatika

kategooria (alam)

Arvutiteadus. Üldine arvutiteadus

Matemaatika. Teoreetiline arvutiteadus

kvartiil

TTÜ struktuuriüksus

tarkvarateaduse instituut

keel

inglise

Uurimisrühm

Tugevalt tagatud tarkvara laboratoorium

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