The Sequent Calculus of Skew Monoidal Categories
Under a Creative Commons license
open access
Keywords
skew monoidal categories
substructural logics
sequent calculus
nonstandard sequent forms
cut admissibility
focusing
Agda
Cited by (0)
© 2018 The Author(s). Published by Elsevier B.V.