%PDF-1.3
%
1 0 obj
<<
/Lang ()
/Metadata 2 0 R
/Names 3 0 R
/OpenAction [4 0 R /FitH 800]
/Outlines 5 0 R
/PageLabels 6 0 R
/PageMode /UseOutlines
/Pages 7 0 R
/Type /Catalog
>>
endobj
8 0 obj
<<
/Author ()
/CreationDate (D:20211101110048-04'00')
/Creator (LaTeX with hyperref package)
/Keywords ()
/ModDate (D:20220413180206+00'00')
/Producer (Acrobat Distiller 10.0.0 \(Windows\))
/Subject ()
/Title ()
>>
endobj
2 0 obj
<<
/Length 1828
/Subtype /XML
/Type /Metadata
>>
stream
2021-11-01T11:00:48-04:00
LaTeX with hyperref package
2022-04-13T18:02:06+00:00
Acrobat Distiller 10.0.0 (Windows)
application/pdf
https://doi.org/10.1017/S0956796821000186 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/S0956796821000186
uuid:1564c0db-3285-484e-adb3-8e0114de9988
uuid:eb1bd2da-3919-4495-b65f-76188935c0ea
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 33 0 R 34 0 R]
/Contents [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
45 0 R 46 0 R]
/CropBox [0 0 493.151 700.075]
/MediaBox [0 0 493.151 700.075]
/Parent 47 0 R
/Resources 48 0 R
/Rotate 0
/Type /Page
>>
endobj
5 0 obj
<<
/Count 44
/First 49 0 R
/Last 49 0 R
>>
endobj
6 0 obj
<<
/Nums [0 50 0 R]
>>
endobj
7 0 obj
<<
/Count 67
/Kids [47 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R]
/Type /Pages
>>
endobj
9 0 obj
<<
/Kids [57 0 R 58 0 R 59 0 R 60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R]
>>
endobj
10 0 obj
<<
/A <<
/S /URI
/URI (https://doi.org/10.1017/S0956796821000186)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [70.077 651.135 162.348 658.302]
/Subtype /Link
/Type /Annot
>>
endobj
11 0 obj
<<
/A <<
/S /URI
/URI (https://orcid.org/0000-0002-8496-491X)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [279.903 578.901 290.904 589.893]
/Subtype /Link
/Type /Annot
>>
endobj
12 0 obj
<<
/A <<
/S /URI
/URI (mailto:xjhuang@cs.hku.hk)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [216.309 554.601 286.08 563.217]
/Subtype /Link
/Type /Annot
>>
endobj
13 0 obj
<<
/A <<
/S /URI
/URI (mailto:jxzhao@cs.hku.hk)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [218.307 511.761 284.091 520.377]
/Subtype /Link
/Type /Annot
>>
endobj
14 0 obj
<<
/A <<
/S /URI
/URI (mailto:bruno@cs.hku.hk)
>>
/Border [0 0 0]
/C [0 1 1]
/H /I
/Rect [220.296 470.199 282.093 477.537]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.reynolds1988preliminary)
/H /I
/Rect [137.424 121.467 176.04 133.422]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.reynolds1988preliminary)
/H /I
/Rect [180.696 121.467 201.6 133.422]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.PierceThesis)
/H /I
/Rect [231.384 108.516 257.265 120.471]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.PierceThesis)
/H /I
/Rect [261.93 108.516 282.834 120.471]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.castagna1995calculus)
/H /I
/Rect [287.778 108.516 349.047 120.471]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.castagna1995calculus)
/H /I
/Rect [353.694 108.516 374.598 120.471]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.dunfield2014elaborating)
/H /I
/Rect [379.551 108.516 415.395 120.471]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.dunfield2014elaborating)
/H /I
/Rect [58.449 95.556 79.353 107.511]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.oliveira2016disjoint)
/H /I
/Rect [83.676 95.556 139.815 107.511]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.oliveira2016disjoint)
/H /I
/Rect [143.832 95.556 164.736 107.511]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.alpuim2017disjoint)
/H /I
/Rect [169.059 95.556 222.993 107.511]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.alpuim2017disjoint)
/H /I
/Rect [227.019 95.556 247.923 107.511]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.bi_et_al:LIPIcs:2018:9227)
/H /I
/Rect [252.237 95.556 285.138 107.511]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.bi_et_al:LIPIcs:2018:9227)
/H /I
/Rect [289.164 95.556 310.068 107.511]
/Subtype /Link
/Type /Annot
>>
endobj
29 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.pottinger1980type)
/H /I
/Rect [146.937 69.654 184.455 81.609]
/Subtype /Link
/Type /Annot
>>
endobj
30 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.pottinger1980type)
/H /I
/Rect [189.075 69.654 209.979 81.609]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.coppo1981functional)
/H /I
/Rect [214.878 69.654 266.112 81.609]
/Subtype /Link
/Type /Annot
>>
endobj
32 0 obj
<<
/Border [0 0 0]
/C [0 1 0]
/Dest (cite.coppo1981functional)
/H /I
/Rect [270.723 69.654 291.627 81.609]
/Subtype /Link
/Type /Annot
>>
endobj
33 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [433.8359 8.0 483.151 26.967348]
/Border [0 0 0]
/A 67 0 R
>>
endobj
34 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [7.7999997 14.264648 133.62 22.189453]
/Border [0 0 0]
/A 68 0 R
>>
endobj
35 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
36 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
37 0 obj
<<
/Filter /FlateDecode
/Length 830
>>
stream
HtUn6}WTcbߒƀSIlYYoᵓ:?)3V5RVg̙Vy7'oX?7|bĝU1jӐ1{\ Lc@i_zE9:Ygz\햅!\oiY2,'~ENߍթӯwOzbw>a\>ofEl췷%۸#8M?o-XtgPҒEH]?ҺvjsV 5b!;ˢ|s}9QvAf.Rǝ\䏺m6DŽEQde///%y!2'yuv[T%B+
z8<Ƈ:Xz}^::Z\GmULb+q5(8veCm-.pPM)˼31^~<*!*K^M3rsG#e}IّѳK9|^9&z}Pr ͱQQHТp80Wyu?bDѡ9Y26#B 1˥]`0iL.ź$L|BtI F>enSK"t?jSvA
eI_/{ȉep,`X
"s,n#
]]!1ȿ+VT"U-㼪'ЄHg(O.of
cf(u3ĉY~CqI_$z_
vv?DNCV0 sN
endstream
endobj
38 0 obj
<<
/Filter /FlateDecode
/Length 550
>>
stream
HTMo@Zr"M
M!\$NcmZz]DUTT ff|6+p32ί}SUB3.${w"m=%ȫ,8dw`.xU|_4&Վwccw8Z۴x|.):x#1qN9*8#rNd!TJ1sG!eq02-MNS_h_)
|<(-͚ǐFo%.tHJTѬ>M33 0 zN
endstream
endobj
39 0 obj
<<
/Filter /FlateDecode
/Length 833
>>
stream
HdT +\5AI&Eb7F: lyݹwIW{݉)6=
Fq[F.M ~6e~x&4x&{Q'.]uHNٓK3(+wE"Bgy.v2DgKuV{'Z$,}wWySf P=Zp=6Nkҩ^FRa
M䡅olUbmGc;,AC+Z}j
fXfa%= t7&NI؞ęsgVl9Gź Q1PZy%g-zjuaJ0畬`*X '+X8 7 qՏ''%߳Be<jd&T읮-%Xgl>y N{6E9ux+f%ʌ4
tn[J(xTߑ&[x~mQ{\Uq#לEu!2ЈۅJʹ,X7k${[cnsp,
ބb;Oqh0H^90HK-wk2=..F!%ܮe@w?Jp