%PDF-1.5
%
1 0 obj
<<
/Pages 2 0 R
/Type /Catalog
/Metadata 3 0 R
>>
endobj
4 0 obj
<<
/ModDate (D:20220413180941+00'00')
/CreationDate (D:20070802125020+05'30')
/Title <446566696E696E6720646174612073747275637475726573207669612042F6686D2D6F7574>
/Creator (ABBYY FineReader)
/Author (Enrico Tronci)
/Subject (Journal of Functional Programming)
/Producer ( \(via http://big.faceless.org/products/pdf?version=2.8.4\))
>>
endobj
2 0 obj
<<
/Count 14
/Kids [5 0 R 6 0 R 7 0 R 8 0 R 9 0 R 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]
/Type /Pages
/MediaBox [0 0 451.44 697.68]
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 2134
>>
stream
(via http://big.faceless.org/products/pdf?version=2.8.4)
2007-08-02T12:50:20+05:01
2008-11-03T16:26:38+00:00
2022-04-13T18:09:41+00:00
uuid:f99b377d-e1e0-42f5-9a95-efde7b2cb6d5
application/pdf
Enrico Tronci
Defining data structures via Böhm-out
Journal of Functional Programming
https://doi.org/10.1017/S0956796800001234 Published online by Cambridge University Press
2008-11-03T16:26:38Z
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796800001234
endstream
endobj
5 0 obj
<<
/Contents [19 0 R 20 0 R 21 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F3 25 0 R
/F5 26 0 R
>>
/XObject <<
/im53 27 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [28 0 R]
>>
endobj
6 0 obj
<<
/Contents [29 0 R 30 0 R 31 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F4 26 0 R
>>
/XObject <<
/im54 32 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [33 0 R]
>>
endobj
7 0 obj
<<
/Contents [34 0 R 35 0 R 36 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F4 26 0 R
>>
/XObject <<
/im55 37 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [38 0 R]
>>
endobj
8 0 obj
<<
/Contents [39 0 R 40 0 R 41 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F3 25 0 R
/F5 26 0 R
>>
/XObject <<
/im56 42 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [43 0 R]
>>
endobj
9 0 obj
<<
/Contents [44 0 R 45 0 R 46 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F1 24 0 R
/F6 47 0 R
/F4 26 0 R
>>
/XObject <<
/im57 48 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [49 0 R]
>>
endobj
10 0 obj
<<
/Contents [50 0 R 51 0 R 52 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F1 24 0 R
/F3 26 0 R
>>
/XObject <<
/im58 53 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [54 0 R]
>>
endobj
11 0 obj
<<
/Contents [55 0 R 56 0 R 57 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F1 24 0 R
/F3 26 0 R
>>
/XObject <<
/im59 58 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [59 0 R]
>>
endobj
12 0 obj
<<
/Contents [60 0 R 61 0 R 62 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F3 25 0 R
/F5 26 0 R
>>
/XObject <<
/im60 63 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [64 0 R]
>>
endobj
13 0 obj
<<
/Contents [65 0 R 66 0 R 67 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F1 24 0 R
/F3 26 0 R
>>
/XObject <<
/im61 68 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [69 0 R]
>>
endobj
14 0 obj
<<
/Contents [70 0 R 71 0 R 72 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F6 47 0 R
/F5 26 0 R
>>
/XObject <<
/im62 73 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [74 0 R]
>>
endobj
15 0 obj
<<
/Contents [75 0 R 76 0 R 77 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F4 26 0 R
>>
/XObject <<
/im63 78 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [79 0 R]
>>
endobj
16 0 obj
<<
/Contents [80 0 R 81 0 R 82 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F2 23 0 R
/F1 24 0 R
/F3 25 0 R
/F5 26 0 R
>>
/XObject <<
/im64 83 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [84 0 R]
>>
endobj
17 0 obj
<<
/Contents [85 0 R 86 0 R 87 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F1 24 0 R
/F3 26 0 R
>>
/XObject <<
/im65 88 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [89 0 R]
>>
endobj
18 0 obj
<<
/Contents [90 0 R 91 0 R 92 0 R]
/Type /Page
/Rotate 0
/MediaBox [0 0 451.44 697.68]
/CropBox [0 0 451.44 697.68]
/Resources <<
/Font <<
/F0 22 0 R
/F1 24 0 R
/F3 26 0 R
>>
/XObject <<
/im66 93 0 R
>>
/ProcSet [/PDF /Text /ImageB /ImageC /ImageI]
>>
/Parent 2 0 R
/Annots [94 0 R]
>>
endobj
19 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
20 0 obj
<<
/Length 8862
/Filter /FlateDecode
>>
stream
HWn+
Xz?-d,,%f[Q2Hv1 ԭsza2VtB2K#VƙjL/__꺻HGUᇻN
o+o߯>?_tRX%eƟ`^DmAVUapMIH-nw՛MX^9-K07?R
BuaJM6Y+5D0AR"*ƀ&0X'M.-L^=/)cm?CCjkj}"2D'"D`֢.&9&H6
#T74
iFh~tʔoKn:xt}1Q'Ef
0HZ:ooMorLg6>NuA8(sؠ#g6I$_}Wi HE8&j+@v{FTzt#kƮb&oL<@:$R(4h@O%-2*^q'_Ag ƘpʗWeTH;5JծrH_1rH<02$Carhaܦ#!HMU r2I)s&c8i(酑<
2ѝV]x#@,)P`I^Ji `"77FOUCL`|h"Rjlǎё=25gfAdf%fDD:#։GO?jAsL-Ր+Ҙ헟 c>)ϜRpA9c#'G*QͦS0Om1㲧³'IJܲ2&Pur7?;pwk\JM2@ךl֬3N։}:mgܶ/2i!zhvhFv jAAm PV&Ń͢rˌw펥ڌpHԊ+2;CvmOO9-+"
a5O#ɟPH7?לkC# |$
Ƨ|Ŝ[H=aҴS3mW+@?D^sjDo?j8r ,tlw7pja5SAI":Ye3]dؿaPok`Y 6ϟX7MD>Hf.Ɓ^$h{4u}Sagm9|=}E#H{jMNZu ֬S81ZhloJTPazӔ
t;F;po:[sMKE"y3._LT~6 wԹ1Xi,{\ vΓV&G$}wXl >{'O
ɸ*qlUJcʧqI8HM9hlEM
'Ѥ]s_w5y51َ1AVK
(7ce~?,3J-MgR[A{z_@Ӆhsg cK[i7[-PKʼirf N.RN
4[\X!^z.ckb>Xa}$as;ҢNJXW
$Ptnͦ@{M`LԒwy S^ՏÂtFuzj7
5C~U`x3_p>
e
EpkiZdbЄs@˭VQp[uzHO%)gK)/1X*,54,+E6Zl%,NsHA{ȯ2_V00p@֖ߘٌAMtp!H^Mi历