%PDF-1.3
%
1 0 obj
<<
/Type /Catalog
/Pages 2 0 R
/Metadata 3 0 R
>>
endobj
4 0 obj
<<
/Producer (PDFlib PLOP 2.1.0 \(sunOS\)/Acrobat Distiller 5.0.5 for Macintosh \(via http://big.faceless.org/products/pdf?version=work-20090717T1753\))
/ModDate (D:20220413180047+00'00')
/Author (Chris Reade)
/Title (Proof, Language and Interaction, Essays in Honour of Robin Milner eds Gordon Plotkin, Colin Sterling, Mads Tofte, Foundations of Computing Series, MIT Press 2000)
/CreationDate (D:20031216162507+07'00')
/Creator (dvips\(k\) 5.86 Copyright 1999 Radical Eye Software)
>>
endobj
2 0 obj
<<
/Type /Pages
/Count 4
/Kids [5 0 R 6 0 R 7 0 R 8 0 R]
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 934
>>
stream
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796803004830
https://doi.org/10.1017/S0956796803004830 Published online by Cambridge University Press
2022-04-13T18:00:47+00:00
endstream
endobj
5 0 obj
<<
/Type /Page
/Parent 2 0 R
/Resources 9 0 R
/Contents [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]
/Thumb 20 0 R
/MediaBox [0 0 493 700]
/CropBox [0 0 493 700]
/Rotate 0
/Annots [21 0 R]
>>
endobj
6 0 obj
<<
/Type /Page
/Parent 2 0 R
/Resources 22 0 R
/Contents [23 0 R 24 0 R 25 0 R]
/Thumb 26 0 R
/MediaBox [0 0 493 700]
/CropBox [0 0 493 700]
/Rotate 0
/Annots [27 0 R]
>>
endobj
7 0 obj
<<
/Type /Page
/Parent 2 0 R
/Resources 28 0 R
/Contents [29 0 R 30 0 R 31 0 R]
/Thumb 32 0 R
/MediaBox [0 0 493 700]
/CropBox [0 0 493 700]
/Rotate 0
/Annots [33 0 R]
>>
endobj
8 0 obj
<<
/Type /Page
/Parent 2 0 R
/Resources 34 0 R
/Contents [35 0 R 36 0 R 37 0 R]
/Thumb 38 0 R
/MediaBox [0 0 493 700]
/CropBox [0 0 493 700]
/Rotate 0
/Annots [39 0 R]
>>
endobj
9 0 obj
<<
/ProcSet [/PDF /Text]
/Font <<
/F1 40 0 R
/F2 41 0 R
/F3 42 0 R
/F4 43 0 R
/F5 44 0 R
>>
/ExtGState <<
/GS1 45 0 R
>>
>>
endobj
10 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
11 0 obj
<<
/Filter /FlateDecode
/Length 734
>>
stream
HtTR0~@,<B4Ә''u$0|@vtI]sfUYeP)KWJ}潑ڬzl=;<_`̔TJzugsQz:R+Zu:)fR1&X
ފ#cJ]=7>4tI+e.
z+,Tꄟ7#q{YNص-,0`H~hklM:G%tj /ͰiLL̅Aa
&r1ȠrN^ӯG)pP20J%gݶY&
t\77ZEQÇn#L浏KYDMQLyncKIьD45Ţ<:!p8G
x,Hh6 %
]e x95ni0cT&ލPE=GQ?ѽ)VdciKݭwureGXm q-Ӎ.PGaF䕃`c6)S7pܱ^TᛰHN|S Mڧ5
mw.4S=pI`q"z3!O혖hS$ẓ^2e GymƳޮ[֣et-QJh$y矻-8[d1ѼE3&~aQE5t'CY*8N%~0 /7
endstream
endobj
12 0 obj
<<
/Filter /FlateDecode
/Length 610
>>
stream
HlTˎ C uGuYMh!c4~ p~GIf/qeװ=oUW\q\zSQ&ϴ!rV]GJ5g>ĀQ)%)'3.+]p8%a:Z:'ovI1s6*)eS"/z8-
MKT
hZ_ )K;/;LJ# %}mZDDQ:F?I#Nj8d3{UKs!s]RA{h$'䈿Xth2
2u0>vÀEUЄ[Y^)$k Y:r# fLpdN'YmvQW#UQC3%ݐu:)FvD1s<?(Nv՛=k&+ud2c7EÆL-ttю-b d^Xw7-A[MքxY%Ы(rO;m'GNŰtjx#OˠdI5?^|d=S1_Q$zJxL 77OރV? PM
endstream
endobj
13 0 obj
<<
/Filter /FlateDecode
/Length 736
>>
stream
HdTKn0=% Hu
K%&b(*oE8Ȏϛ9oD$۽RlO_68sYlOՆ}7ƤyGi^HﴊI&D#\H |QUgZ,9${q04с9LX?N>`3`gS=Xkw
*jYst\Ɛ8ha3jfDy\Ȗ2Ǒga,ɢM}wxOi3qA_+Jpihw1vtƶ ~`'˨֊űr MG9q,eJ[a`7(4:d`ΖvLY&Їvơv{S;B[:AAM{
IV
HW8v~$t;:Szv"E5fMIOq2]nvf5[IIQ'F{C-pA3"IlWm5/ L|
endstream
endobj
14 0 obj
<<
/Filter /FlateDecode
/Length 700
>>
stream
HdT͒0~C
igz㶳pb[+Y6;ҧO'4ɲ:6O'