%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/PageMode /UseOutlines
/Outlines 3 0 R
/PageLabels 4 0 R
/Pages 5 0 R
/OpenAction [6 0 R /FitH 800]
/Type /Catalog
/Names 7 0 R
>>
endobj
8 0 obj
<<
/Subject ()
/ModDate (D:20220413180136+00'00')
/Author ()
/Title ()
/Keywords ()
/Producer (Acrobat Distiller 7.0 \(Windows\))
/Creator (LaTeX with hyperref package)
/CreationDate (D:20191209123135+05'30')
>>
endobj
2 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 1990
>>
stream
Acrobat Distiller 7.0 (Windows)
2019-12-09T12:31:35+05:01
LaTeX with hyperref package
2019-12-09T12:31:59+05:01
2022-04-13T18:01:36+00:00
application/pdf
https://doi.org/10.1017/S0956796819000170 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/S0956796819000170
uuid:b1068947-5acd-496d-8906-8581af3b77f2
uuid:a19c6c21-7a8e-42d9-93c9-af8abca2f78c
endstream
endobj
3 0 obj
<<
/Count 28
/First 9 0 R
/Last 9 0 R
>>
endobj
4 0 obj
<<
/Nums [0 10 0 R]
>>
endobj
5 0 obj
<<
/Count 43
/Type /Pages
/Kids [11 0 R 12 0 R 13 0 R 14 0 R 15 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 493.151 700.075]
/MediaBox [0 0 493.151 700.075]
/Rotate 0
/Annots [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]
/Resources 27 0 R
/Parent 11 0 R
/Contents [28 0 R 29 0 R 30 0 R 31 0 R 32 0 R 33 0 R 34 0 R 35 0 R 36 0 R 37 0 R]
/Type /Page
>>
endobj
7 0 obj
<<
/Dests 38 0 R
>>
endobj
9 0 obj
<<
/First 39 0 R
/Dest (HLtitle.0)
/Title (POPLMark reloaded: Mechanizing proofs by logical relations)
/Parent 3 0 R
/Last 40 0 R
/Count 27
>>
endobj
10 0 obj
<<
/S /D
>>
endobj
11 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [6 0 R 41 0 R 42 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R]
>>
endobj
12 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [50 0 R 51 0 R 52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R]
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [60 0 R 61 0 R 62 0 R 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R]
>>
endobj
14 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [70 0 R 71 0 R 72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R 79 0 R]
>>
endobj
15 0 obj
<<
/Parent 5 0 R
/Count 3
/Type /Pages
/Kids [80 0 R 81 0 R 82 0 R]
>>
endobj
16 0 obj
<<
/Rect [70.077 651.135 162.348 658.302]
/Subtype /Link
/A <<
/S /URI
/URI (https://doi.org/10.1017/S0956796819000170)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
17 0 obj
<<
/Rect [212.088 535.71 290.22 544.344]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:andreas.abel@gu.se)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
18 0 obj
<<
/Rect [290.145 519.555 301.146 530.547]
/Subtype /Link
/A <<
/S /URI
/URI (https://orcid.org/0000-0002-4091-657X)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
19 0 obj
<<
/Rect [216.318 494.868 285.99 503.502]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:gallais@cs.ru.nl)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
20 0 obj
<<
/Rect [145.911 454.017 262.113 462.651]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:aliya.hameer@mail.mcgill.ca)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
21 0 obj
<<
/Rect [268.671 454.017 359.493 462.651]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:bpientka@cs.mcgill.ca)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
22 0 obj
<<
/Rect [300.306 437.862 311.298 448.854]
/Subtype /Link
/A <<
/S /URI
/URI (https://orcid.org/0000-0003-0942-4777)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
23 0 obj
<<
/Rect [203.619 413.175 298.671 421.809]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:momigliano@di.unimi.it)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
24 0 obj
<<
/Rect [137.442 372.324 253.644 380.958]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:schaefer@ps.uni-saarland.de)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
25 0 obj
<<
/Rect [260.202 372.324 367.944 380.958]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:kstark@ps.uni-saarland.de)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
26 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [7.7999997 14.264648 133.62 22.189453]
/Border [0 0 0]
/A 83 0 R
>>
endobj
27 0 obj
<<
/ProcSet [/PDF /Text]
/ExtGState <<
/GS1 84 0 R
>>
/Font <<
/F1 85 0 R
/F2 86 0 R
/F3 87 0 R
/F4 88 0 R
/F5 89 0 R
/F6 90 0 R
>>
/Properties <<
/MC1 91 0 R
/MC2 92 0 R
>>
/ColorSpace <<
/Cs6 [/ICCBased 93 0 R]
>>
>>
endobj
28 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
29 0 obj
<<
/Filter /FlateDecode
/Length 653
>>
stream
HtSn0zWbˇ$T'qvk)AE-ӠHٍrfx~,89HJD+mR:c0a
xXq _.{fe߉ExdcM$u0a