%PDF-1.3
%
1 0 obj
<<
/Names 2 0 R
/Type /Catalog
/Outlines 3 0 R
/PageLabels 4 0 R
/OpenAction [5 0 R /FitH 800]
/Metadata 6 0 R
/PageMode /UseOutlines
/Pages 7 0 R
>>
endobj
8 0 obj
<<
/Creator (LaTeX with hyperref package)
/ModDate (D:20231106100815+00'00')
/Keywords ()
/Producer (Acrobat Distiller 10.0.0 \(Windows\))
/CreationDate (D:20231101222529-04'00')
/Title ()
/Subject ()
/Author ()
>>
endobj
2 0 obj
<<
/Dests 9 0 R
>>
endobj
3 0 obj
<<
/First 10 0 R
/Last 10 0 R
/Count 58
>>
endobj
4 0 obj
<<
/Nums [0 11 0 R]
>>
endobj
5 0 obj
<<
/Type /Page
/Contents [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]
/Resources 24 0 R
/MediaBox [0 0 493.151 700.075]
/Parent 25 0 R
/Rotate 0
/Annots [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 35 0 R
36 0 R 37 0 R 38 0 R 39 0 R 40 0 R]
/CropBox [0 0 493.151 700.075]
>>
endobj
6 0 obj
<<
/Length 1897
/Subtype /XML
/Type /Metadata
>>
stream
Acrobat Distiller 10.0.0 (Windows)
LaTeX with hyperref package
2023-11-01T22:25:43-04:00
2023-11-06T10:08:15+00:00
2023-11-06T10:08:15+00:00
application/pdf
https://doi.org/10.1017/S0956796823000059 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/S0956796823000059
uuid:0c215ad9-8bb5-4c3f-bb33-8288a63442d5
uuid:ec99e377-d77a-4bb0-b55c-9b386d8031dc
endstream
endobj
7 0 obj
<<
/Count 41
/Kids [25 0 R 41 0 R 42 0 R 43 0 R 44 0 R]
/Type /Pages
>>
endobj
9 0 obj
<<
/Kids [45 0 R 46 0 R 47 0 R 48 0 R]
>>
endobj
10 0 obj
<<
/Parent 3 0 R
/Dest (HLtitle.0)
/Last 49 0 R
/Title (Contract lenses: Reasoning about bidirectional programs via calculation)
/First 50 0 R
/Count 57
>>
endobj
11 0 obj
<<
/S /D
>>
endobj
12 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
13 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
14 0 obj
<<
/Length 751
/Filter /FlateDecode
>>
stream
HtTMo0zWp4R1疦J\5g.lH߱͒VUʃ|7>e-id
PE.%òm|aB5/Rbt_r"'VJ D#\VX!SX J5 F~oqeP9&锫NJ̚jT#&%hu,arO?!`KN)hESv)z?[ܟ}5y;}IZh;Xn$'Q?^f\Vɨz)ÊEjC4c"nS]k
@2pzhFnh>
t0Aie+eKG382ٸOBSƙ~6;O4nN%j3SP$2>vOsnjK(:_U^On_A
N-:W$z-Y+qEYK2@!P2P@:`?S.0"C$"f㻛9iXtDG j;:l&gv)B}5f`\u!ٸcq
EIKKPQaWq+Sb!$[ŢЦz JFɖq 6z}hgm
e9yRLz=żJ;נQO es:B_-7*eb,k\>c|0 9nc.
endstream
endobj
15 0 obj
<<
/Length 720
/Filter /FlateDecode
>>
stream
HlTn1}WqVqnDB*BPF,nE sdB#Mر3cY7*S6jA2Euz\*b';;zլw!}<xF{x?\^{zZk)!yMֺzZ)s~@H`ms N\Ӳ,,ѽ%=eIPZ~ړYuy꽚M}.V>ѽ%9%)C2vy~@/CZת.)NV5ZF'Ef$/Pߌdlf'%50Jpɻ!EZI1
jn)BŤĒ9)8q'3A(vi!AF/A e*+F\Hs,EˮYLRyW䲜Ș
I/DU-険Eh+p(KmF6
XAٸC ,
Ǖ"
tQ.@@y0ȣͨ'mmTۗu72~#6L'ާBrn6<=7Pn~^t<}fg(('^q!]˫Ee