%PDF-1.7
%
1 0 obj
<<
/Lang (en)
/Metadata 2 0 R
/OpenAction 3 0 R
/Outlines 4 0 R
/PageLabels 5 0 R
/PageLayout /SinglePage
/PageMode /UseThumbs
/Pages 6 0 R
/Type /Catalog
>>
endobj
7 0 obj
<<
/Author (Tarmo Uustalu)
/CreationDate (D:20181211153443+02'00')
/Creator (Elsevier)
/ElsevierWebPDFSpecifications (6.5)
/ModDate (D:20181211153443+02'00')
/Producer (VTeX PDF Formatter 1.0 \(Windows\))
/Subject <456C656374726F6E6963204E6F74657320696E205468656F7265746963616C20436F6D707574657220536369656E63652C203334312028323031382920333435853337302E2031302E313031362F6A2E656E7463732E323031382E31312E303137>
/Title (The Sequent Calculus of Skew Monoidal Categories)
/doi (10.1016/j.entcs.2018.11.017)
/robots (noindex)
>>
endobj
2 0 obj
<<
/Length 6795
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.entcs.2018.11.017
The Sequent Calculus of Skew Monoidal Categories
Tarmo Uustalu
Niccolò Veltri
Noam Zeilberger
skew monoidal categories
substructural logics
sequent calculus
nonstandard sequent forms
cut admissibility
focusing
Agda
Electronic Notes in Theoretical Computer Science, 341 (2018) 345–370. 10.1016/j.entcs.2018.11.017
Elsevier B.V.
journal
Electronic Notes in Theoretical Computer Science
© 2018 The Author(s). Published by Elsevier B.V.
1571-0661
341
345-370
345
370
10.1016/j.entcs.2018.11.017
https://doi.org/10.1016/j.entcs.2018.11.017
2018-12-01
1 December 2018
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV)
VoR
10.1016/j.entcs.2018.11.017
noindex
6.5
Elsevier
2018-12-11T15:34:43+02:00
2018-12-11T15:34:43+02:00
2018-12-11T15:34:43+02:00
True
VTeX PDF Formatter 1.0 (Windows)
uuid:61ae75fa-836a-4dda-a977-769262881a2e
uuid:3bf8e8ca-89cb-429d-85cb-a4216a0eefba
http://creativecommons.org/licenses/by-nc-nd/4.0/
endstream
endobj
3 0 obj
<<
/D [8 0 R /FitH 689]
/S /GoTo
>>
endobj
4 0 obj
<<
/Count 8
/First 9 0 R
/Last 10 0 R
/Type /Outlines
>>
endobj
5 0 obj
<<
/Nums [0 11 0 R]
>>
endobj
6 0 obj
<<
/Count 27
/Kids [12 0 R 13 0 R 14 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Annots [15 0 R 16 0 R 17 0 R 18 0 R 19 0 R 20 0 R 21 0 R 22 0 R 23 0 R 24 0 R
25 0 R]
/Contents [26 0 R 27 0 R 28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R]
/CropBox [8.50394 8.50394 476.22 688.819]
/MediaBox [0.0 0.0 484.724 697.323]
/Parent 12 0 R
/Resources <<
/ExtGState <<
/GS0 34 0 R
/GS1 35 0 R
/GS2 36 0 R
>>
/Font <<
/T1_0 37 0 R
/T1_1 38 0 R
/T1_2 39 0 R
/T1_3 40 0 R
/T1_4 41 0 R
/T1_5 42 0 R
/T1_6 43 0 R
/T1_7 44 0 R
/T1_8 45 0 R
/T1_9 46 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/Properties <<
/MC0 <<
/doi (https://doi.org/10.1016/j.entcs.2018.11.017)
>>
/MC1 <<
/doi (https://doi.org/10.1016/j.entcs.2018.11.017)
>>
>>
/XObject <<
/Im0 47 0 R
/Im1 48 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
9 0 obj
<<
/A 49 0 R
/Next 50 0 R
/Parent 4 0 R
/Title (Introduction)
>>
endobj
10 0 obj
<<
/A 51 0 R
/Parent 4 0 R
/Prev 52 0 R
/Title (Sequent Calculus as a Generalized Multicategory)
>>
endobj
11 0 obj
<<
/S /D
/St 345
>>
endobj
12 0 obj
<<
/Count 11
/Kids [53 0 R 8 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R
62 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 10
/Kids [63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R 72 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/Count 6
/Kids [73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
15 0 obj
<<
/A 79 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [284.402 489.669 291.175 497.84]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/A 80 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [280.003 430.406 286.777 438.577]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A 81 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [288.911 382.367 295.685 390.538]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:tarmo@ru.is)
>>
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [87.9142 109.169 135.085 121.438]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:nive@itu.dk)
>>
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [87.9142 98.8348 135.085 111.104]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A <<
/S /URI
/Type /Action
/URI (mailto:n.zeilberger@cs.bham.ac.uk)
>>
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [87.9142 88.501 196.77 100.77]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A 82 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [336.562 579.424 436.538 588.448]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A 83 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [116.743 590.441 345.151 599.465]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A 84 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [53.8583 67.4488 192.09 76.4729]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A 85 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [222.735 634.457 306.303 643.833]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A 86 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [261.594 47.6063 422.914 56.6303]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/Length 743
/Filter /FlateDecode
>>
stream
HUMo6WHY"yHh$hˬ>ֆ;p1:h8y]o8AOgs mGDÌ$lH Zk֤w7S? ~NWvA.~9lPhʩuLmtlܑv[!%Ǻ36 .p QV3m,k/$okAOLp1hR:YL.nq(M pƷh7 @jeZ߆2mz";)7]r~y#$t4 }Kd!LSq>|BړrO\%nDlX}@0lKԗB_xÔХ-o(EI?Iiwbx՞/J>!4)~5>
/~~YE2 ev˜n6%Ѯ2i