%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 (Bram Geron)
/CreationDate (D:20161007123755+03'00')
/Creator (Elsevier)
/ElsevierWebPDFSpecifications (6.5)
/ModDate (D:20161007123755+03'00')
/Producer (VTeX PDF Formatter 1.0 \(Windows\))
/Subject <456C656374726F6E6963204E6F74657320696E205468656F7265746963616C20436F6D707574657220536369656E63652C203332352028323031362920313237853134362E2031302E313031362F6A2E656E7463732E323031362E30392E303335>
/Title (Iteration and Labelled Iteration)
/doi (10.1016/j.entcs.2016.09.035)
/robots (noindex)
>>
endobj
2 0 obj
<<
/Length 6801
/Subtype /XML
/Type /Metadata
>>
stream
application/pdf
doi:10.1016/j.entcs.2016.09.035
Iteration and Labelled Iteration
Bram Geron
Paul Blain Levy
iteration
loops
lexical binding
operational semantics
denotational semantics
higher-order language
lambda calculus
de Bruijn indices
Electronic Notes in Theoretical Computer Science, 325 (2016) 127–146. 10.1016/j.entcs.2016.09.035
Elsevier B.V.
journal
Electronic Notes in Theoretical Computer Science
© 2016 Published by Elsevier B.V.
1571-0661
325
127-146
127
146
10.1016/j.entcs.2016.09.035
http://dx.doi.org/10.1016/j.entcs.2016.09.035
2016-10-05
5 October 2016
C
The Thirty-second Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXII)
VoR
10.1016/j.entcs.2016.09.035
noindex
6.5
Elsevier
2016-10-07T12:37:55+03:00
2016-10-07T12:37:55+03:00
2016-10-07T12:37:55+03:00
True
VTeX PDF Formatter 1.0 (Windows)
uuid:e8b0fd3e-20e3-4c3e-92b2-31f640cda131
uuid:6f0496ec-3f1b-4f89-81e3-fe8f6fef7ca7
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 7
/First 9 0 R
/Last 10 0 R
/Type /Outlines
>>
endobj
5 0 obj
<<
/Nums [0 11 0 R]
>>
endobj
6 0 obj
<<
/Count 21
/Kids [12 0 R 13 0 R]
/Type /Pages
>>
endobj
8 0 obj
<<
/Annots [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]
/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 41 0 R
/GS1 42 0 R
/GS2 43 0 R
>>
/Font <<
/T1_0 44 0 R
/T1_1 45 0 R
/T1_10 46 0 R
/T1_11 47 0 R
/T1_12 48 0 R
/T1_13 49 0 R
/T1_14 50 0 R
/T1_2 51 0 R
/T1_3 52 0 R
/T1_4 53 0 R
/T1_5 54 0 R
/T1_6 55 0 R
/T1_7 56 0 R
/T1_8 57 0 R
/T1_9 58 0 R
>>
/ProcSet [/PDF /Text /ImageB]
/Properties <<
/MC0 <<
/doi (http://dx.doi.org/10.1016/j.entcs.2016.09.035)
>>
/MC1 <<
/doi (http://dx.doi.org/10.1016/j.entcs.2016.09.035)
>>
>>
/XObject <<
/Im0 59 0 R
/Im1 60 0 R
>>
>>
/Rotate 0
/Type /Page
>>
endobj
9 0 obj
<<
/A 61 0 R
/Count -5
/First 62 0 R
/Last 63 0 R
/Next 64 0 R
/Parent 4 0 R
/Title (Introduction)
>>
endobj
10 0 obj
<<
/A 65 0 R
/Count -3
/First 66 0 R
/Last 67 0 R
/Parent 4 0 R
/Prev 68 0 R
/Title (Appendix: proofs)
>>
endobj
11 0 obj
<<
/S /D
/St 127
>>
endobj
12 0 obj
<<
/Count 11
/Kids [69 0 R 8 0 R 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]
/Parent 6 0 R
/Type /Pages
>>
endobj
13 0 obj
<<
/Count 10
/Kids [79 0 R 80 0 R 81 0 R 82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R]
/Parent 6 0 R
/Type /Pages
>>
endobj
14 0 obj
<<
/A 89 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [210.57 510.597 217.343 518.768]
/Subtype /Link
/Type /Annot
>>
endobj
15 0 obj
<<
/A 90 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [344.637 510.597 351.41 518.768]
/Subtype /Link
/Type /Annot
>>
endobj
16 0 obj
<<
/A 91 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [321.582 185.413 334.053 194.2]
/Subtype /Link
/Type /Annot
>>
endobj
17 0 obj
<<
/A 92 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [335.046 185.413 347.516 194.2]
/Subtype /Link
/Type /Annot
>>
endobj
18 0 obj
<<
/A 93 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [348.509 185.413 360.979 194.2]
/Subtype /Link
/Type /Annot
>>
endobj
19 0 obj
<<
/A 94 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [424.664 165.02 431.867 173.806]
/Subtype /Link
/Type /Annot
>>
endobj
20 0 obj
<<
/A 95 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [104.108 138.363 111.311 147.149]
/Subtype /Link
/Type /Annot
>>
endobj
21 0 obj
<<
/A 96 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [112.304 138.363 119.507 147.149]
/Subtype /Link
/Type /Annot
>>
endobj
22 0 obj
<<
/A 97 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [120.5 138.363 127.702 147.149]
/Subtype /Link
/Type /Annot
>>
endobj
23 0 obj
<<
/A 98 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [128.695 138.363 135.897 147.149]
/Subtype /Link
/Type /Annot
>>
endobj
24 0 obj
<<
/A 99 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [136.891 138.363 149.36 147.149]
/Subtype /Link
/Type /Annot
>>
endobj
25 0 obj
<<
/A 100 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [197.896 125.033 210.367 133.821]
/Subtype /Link
/Type /Annot
>>
endobj
26 0 obj
<<
/A 101 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [211.359 125.033 223.83 133.821]
/Subtype /Link
/Type /Annot
>>
endobj
27 0 obj
<<
/A 102 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [224.823 125.033 237.293 133.821]
/Subtype /Link
/Type /Annot
>>
endobj
28 0 obj
<<
/A 103 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
29 0 obj
<<
/A 104 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
30 0 obj
<<
/A 105 0 R
/BS <<
/S /S
/Type /Border
/W 0
>>
/Border [0 0 0]
/Rect [53.8583 67.4488 198.978 76.4729]
/Subtype /Link
/Type /Annot
>>
endobj
31 0 obj
<<
/A 106 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
32 0 obj
<<
/A 107 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
33 0 obj
<<
/Length 774
/Filter /FlateDecode
>>
stream
HUK0Ww#ՊA4My$LE+$CfIw0H~N<"JRõ:x C6 ]\c)KIH)]1/sP#jQXnaT3蕚H]1.ugɘًs%\H`ĄW[Bp*"(sݖ6tq&iʖ?t+)sݭxڭt0Ţ1&Fi8L2Z]ev5iXvoz 9my_>w'w}9eWMwk6\ Hө40 iIuK&L 3&Qf5D$C2G*c`DQ-8U
>ةBaZQ#lp/89P䳅`Sa*rN"n?ԋqSP}.