%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 3.02 \(via http://big.faceless.org/products/pdf?version=work-20090717T1753\))
/ModDate (D:20220413175525+00'00')
/Author (NEIL D. JONES)
/Title (The expressive power of higher-order types or, life without CONS)
/CreationDate ()
>>
endobj
2 0 obj
<<
/Type /Pages
/Count 40
/Kids [5 0 R 6 0 R 7 0 R 8 0 R]
>>
endobj
3 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 1844
>>
stream
NEIL D. JONES
2010-11-12T18:30:48Z
The expressive power of higher-order types or, life without CONS
application/pdf
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796800003889
https://doi.org/10.1017/S0956796800003889 Published online by Cambridge University Press
2010-11-12T18:30:48+00:00
2022-04-13T17:55:25+00:00
PDFlib PLOP 2.1.0 (sunOS)/Acrobat Distiller 3.02 (via http://big.faceless.org/products/pdf?version=work-20090717T1753)
endstream
endobj
5 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [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]
>>
endobj
6 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [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]
>>
endobj
7 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [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]
>>
endobj
8 0 obj
<<
/Type /Pages
/Count 10
/Parent 2 0 R
/Kids [39 0 R 40 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]
>>
endobj
9 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 49 0 R
/Contents [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]
/Thumb 60 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [61 0 R]
>>
endobj
10 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 62 0 R
/Contents [63 0 R 64 0 R 65 0 R]
/Thumb 66 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [67 0 R]
>>
endobj
11 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 68 0 R
/Contents [69 0 R 70 0 R 71 0 R]
/Thumb 72 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [73 0 R]
>>
endobj
12 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 74 0 R
/Contents [75 0 R 76 0 R 77 0 R]
/Thumb 78 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [79 0 R]
>>
endobj
13 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 80 0 R
/Contents [81 0 R 82 0 R 83 0 R]
/Thumb 84 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [85 0 R]
>>
endobj
14 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 86 0 R
/Contents [87 0 R 88 0 R 89 0 R]
/Thumb 90 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [91 0 R]
>>
endobj
15 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 92 0 R
/Contents [93 0 R 94 0 R 95 0 R]
/Thumb 96 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [97 0 R]
>>
endobj
16 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 98 0 R
/Contents [99 0 R 100 0 R 101 0 R]
/Thumb 102 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [103 0 R]
>>
endobj
17 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 104 0 R
/Contents [105 0 R 106 0 R 107 0 R]
/Thumb 108 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [109 0 R]
>>
endobj
18 0 obj
<<
/Type /Page
/Parent 5 0 R
/Resources 110 0 R
/Contents [111 0 R 112 0 R 113 0 R]
/Thumb 114 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [115 0 R]
>>
endobj
19 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 116 0 R
/Contents [117 0 R 118 0 R 119 0 R]
/Thumb 120 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [121 0 R]
>>
endobj
20 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 122 0 R
/Contents [123 0 R 124 0 R 125 0 R]
/Thumb 126 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [127 0 R]
>>
endobj
21 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 128 0 R
/Contents [129 0 R 130 0 R 131 0 R]
/Thumb 132 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [133 0 R]
>>
endobj
22 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 134 0 R
/Contents [135 0 R 136 0 R 137 0 R]
/Thumb 138 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [139 0 R]
>>
endobj
23 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 140 0 R
/Contents [141 0 R 142 0 R 143 0 R]
/Thumb 144 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [145 0 R]
>>
endobj
24 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 146 0 R
/Contents [147 0 R 148 0 R 149 0 R]
/Thumb 150 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [151 0 R]
>>
endobj
25 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 152 0 R
/Contents [153 0 R 154 0 R 155 0 R]
/Thumb 156 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [157 0 R]
>>
endobj
26 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 158 0 R
/Contents [159 0 R 160 0 R 161 0 R]
/Thumb 162 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [163 0 R]
>>
endobj
27 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 164 0 R
/Contents [165 0 R 166 0 R 167 0 R]
/Thumb 168 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [169 0 R]
>>
endobj
28 0 obj
<<
/Type /Page
/Parent 6 0 R
/Resources 170 0 R
/Contents [171 0 R 172 0 R 173 0 R]
/Thumb 174 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [175 0 R]
>>
endobj
29 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 176 0 R
/Contents [177 0 R 178 0 R 179 0 R]
/Thumb 180 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [181 0 R]
>>
endobj
30 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 182 0 R
/Contents [183 0 R 184 0 R 185 0 R]
/Thumb 186 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [187 0 R]
>>
endobj
31 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 188 0 R
/Contents [189 0 R 190 0 R 191 0 R]
/Thumb 192 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [193 0 R]
>>
endobj
32 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 194 0 R
/Contents [195 0 R 196 0 R 197 0 R]
/Thumb 198 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [199 0 R]
>>
endobj
33 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 200 0 R
/Contents [201 0 R 202 0 R 203 0 R]
/Thumb 204 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [205 0 R]
>>
endobj
34 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 206 0 R
/Contents [207 0 R 208 0 R 209 0 R]
/Thumb 210 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [211 0 R]
>>
endobj
35 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 212 0 R
/Contents [213 0 R 214 0 R 215 0 R]
/Thumb 216 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [217 0 R]
>>
endobj
36 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 218 0 R
/Contents [219 0 R 220 0 R 221 0 R]
/Thumb 222 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [223 0 R]
>>
endobj
37 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 224 0 R
/Contents [225 0 R 226 0 R 227 0 R]
/Thumb 228 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [229 0 R]
>>
endobj
38 0 obj
<<
/Type /Page
/Parent 7 0 R
/Resources 230 0 R
/Contents [231 0 R 232 0 R 233 0 R]
/Thumb 234 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [235 0 R]
>>
endobj
39 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 236 0 R
/Contents [237 0 R 238 0 R 239 0 R]
/Thumb 240 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [241 0 R]
>>
endobj
40 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 242 0 R
/Contents [243 0 R 244 0 R 245 0 R]
/Thumb 246 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [247 0 R]
>>
endobj
41 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 248 0 R
/Contents [249 0 R 250 0 R 251 0 R]
/Thumb 252 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [253 0 R]
>>
endobj
42 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 254 0 R
/Contents [255 0 R 256 0 R 257 0 R]
/Thumb 258 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [259 0 R]
>>
endobj
43 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 260 0 R
/Contents [261 0 R 262 0 R 263 0 R]
/Thumb 264 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [265 0 R]
>>
endobj
44 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 266 0 R
/Contents [267 0 R 268 0 R 269 0 R]
/Thumb 270 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [271 0 R]
>>
endobj
45 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 272 0 R
/Contents [273 0 R 274 0 R 275 0 R]
/Thumb 276 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [277 0 R]
>>
endobj
46 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 278 0 R
/Contents [279 0 R 280 0 R 281 0 R]
/Thumb 282 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [283 0 R]
>>
endobj
47 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 284 0 R
/Contents [285 0 R 286 0 R 287 0 R]
/Thumb 288 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [289 0 R]
>>
endobj
48 0 obj
<<
/Type /Page
/Parent 8 0 R
/Resources 290 0 R
/Contents [291 0 R 292 0 R 293 0 R]
/Thumb 294 0 R
/MediaBox [0 0 595 842]
/CropBox [0 0 595 841]
/Rotate 0
/Annots [295 0 R]
>>
endobj
49 0 obj
<<
/ProcSet [/PDF /Text]
/Font <<
/F1 296 0 R
/F2 297 0 R
/F3 298 0 R
/F4 299 0 R
/F5 300 0 R
/F6 301 0 R
/F7 302 0 R
/F8 303 0 R
/F9 304 0 R
/F10 305 0 R
>>
/ExtGState <<
/GS2 306 0 R
>>
>>
endobj
50 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
51 0 obj
<<
/Filter /LZWDecode
/Length 749
>>
stream
P1B
h \9!:! F