%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/Names 3 0 R
/OpenAction [4 0 R /FitH 800]
/Outlines 5 0 R
/PageLabels <<
/Nums [0 6 0 R]
>>
/PageMode /UseOutlines
/Pages 7 0 R
/Type /Catalog
>>
endobj
8 0 obj
<<
/Author ()
/CreationDate (D:20221209062515-05'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20221216123230+00'00')
/Producer (Acrobat Distiller 10.0.0 \(Windows\))
/Subject ()
/Title ()
>>
endobj
2 0 obj
<<
/Length 1828
/Subtype /XML
/Type /Metadata
>>
stream
Acrobat Distiller 10.0.0 (Windows)
LaTeX with hyperref package
2022-12-16T12:32:30+00:00
2022-12-16T12:32:30+00:00
application/pdf
https://doi.org/10.1017/S0960129522000317 Published online by Cambridge University Press
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0960129522000317
uuid:a220d147-0a55-4619-a224-3fa26e53bb09
uuid:746b3c58-0add-4477-b7a0-7d729c9059aa
endstream
endobj
3 0 obj
<<
/Dests 9 0 R
>>
endobj
4 0 obj
<<
/Annots [10 0 R 11 0 R 12 0 R 13 0 R 14 0 R 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 26 0 R 27 0 R 28 0 R 29 0 R
30 0 R 31 0 R 32 0 R]
/Contents [33 0 R 34 0 R 35 0 R 36 0 R 37 0 R 38 0 R 39 0 R 40 0 R 41 0 R 42 0 R
43 0 R 44 0 R]
/CropBox [0 0 493.2 699.84]
/MediaBox [0 0 493.2 699.84]
/Parent 45 0 R
/Resources 46 0 R
/Rotate 0
/Type /Page
>>
endobj
5 0 obj
<<
/Count 15
/First 47 0 R
/Last 47 0 R
>>
endobj
6 0 obj
<<
/S /D
/St 511
>>
endobj
7 0 obj
<<
/Count 31
/Kids [45 0 R 48 0 R 49 0 R 50 0 R]
/Type /Pages
>>
endobj
9 0 obj
<<
/Kids [51 0 R 52 0 R 53 0 R 54 0 R]
>>
endobj
10 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1017/S0960129522000317)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [52.914 648.18 135.762 654.987]
/Subtype /Link
/Type /Annot
>>
endobj
11 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0003-0690-3051)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [179.157 548.883 190.149 559.875]
/Subtype /Link
/Type /Annot
>>
endobj
12 0 obj
<<
/A <<
/S /URI
/URI (mailto:fabio.gadducci@unipi.it)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [143.706 504.018 221.739 513.615]
/Subtype /Link
/Type /Annot
>>
endobj
13 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:journals/entcs/BehrischKP12)
/H /I
/Rect [42.213 184.464 62.829 195.174]
/Subtype /Link
/Type /Annot
>>
endobj
14 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.hyland2007category)
/H /I
/Rect [147.153 184.464 167.769 195.174]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:journals/lmcs/GarnerP18)
/H /I
/Rect [378.327 172.755 398.943 183.465]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:journals/jfp/LackP09)
/H /I
/Rect [71.238 161.046 91.854 171.756]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.power1999enriched)
/H /I
/Rect [125.157 161.046 145.773 171.756]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:conf/calco/Power05)
/H /I
/Rect [150.033 161.046 170.649 171.756]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.moggi1991notions)
/H /I
/Rect [414.624 125.928 435.24 136.638]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:conf/fossacs/Power04)
/H /I
/Rect [239.583 114.219 260.199 124.929]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:journals/entcs/Power06a)
/H /I
/Rect [263.82 114.219 289.44 124.929]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:conf/mpc/Power06)
/H /I
/Rect [290.775 114.219 296.73 124.929]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:conf/ifipTCS/HylandPP02)
/H /I
/Rect [340.104 90.81 360.72 101.52]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:conf/fossacs/PlotkinP01)
/H /I
/Rect [42.213 79.101 67.815 89.811]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.plotkin2001semantics)
/H /I
/Rect [69.15 79.101 75.105 89.811]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:conf/fossacs/PlotkinP02)
/H /I
/Rect [78.762 79.101 99.378 89.811]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:journals/acs/PlotkinP03)
/H /I
/Rect [103.008 79.101 123.624 89.811]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.DBLP:journals/entcs/PlotkinP04)
/H /I
/Rect [127.263 79.101 147.879 89.811]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.Lack2004a)
/H /I
/Rect [306.48 55.692 327.096 66.402]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/A <<
/S /URI
/URI (http://creativecommons.org/licenses/by-nc-sa/4.0/)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [237.162 31.365 380.706 39.999]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [433.88 8.0 483.2 26.969233]
/Border [0 0 0]
/A 55 0 R
>>
endobj
32 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [7.7999997 7.132324 133.62 15.057129]
/Border [0 0 0]
/A 56 0 R
>>
endobj
33 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
34 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
35 0 obj
<<
/Filter /FlateDecode
/Length 965
>>
stream
HtUn7_G.83o-pi,I+9#?E6 33kwd-/XX}<`P5* ")jH)ejd}WNMWi=Ey/p\JZnv]ӺZQnǧH^^Ӹ+u980_eZC'?KܿW_4hp+n/
j(T1I||lz0w8˅\&mb:qbYu?&Y+kbX3rs$l3