%PDF-1.3
%
1 0 obj
<<
/Metadata 2 0 R
/PageMode /UseOutlines
/Outlines 3 0 R
/PageLabels 4 0 R
/Pages 5 0 R
/OpenAction [6 0 R /FitH 800]
/Type /Catalog
/Names 7 0 R
>>
endobj
8 0 obj
<<
/Subject ()
/ModDate (D:20190716201611+00'00')
/Author ()
/Title ()
/Keywords ()
/Producer (University of Vermont Libraries)
/Creator (LaTeX with hyperref package)
/CreationDate (D:20190705211255+05'30')
>>
endobj
2 0 obj
<<
/Type /Metadata
/Subtype /XML
/Length 2243
>>
stream
Acrobat Distiller 7.0 (Windows)
2019-07-05T21:12:55+05:01
LaTeX with hyperref package
2019-07-05T21:13:23+05:01
2019-07-16T20:16:11+00:00
application/pdf
Downloaded from https://www.cambridge.org/core. University of Vermont Libraries, on 16 Jul 2019 at 20:16:11, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms.
Not for further distribution unless allowed by the License or with the express written permission of Cambridge University Press.
https://doi.org/10.1017/S0956796819000066
University of Vermont Libraries
uuid:423a9976-3274-47a0-ad3e-c9aebc28ca02
uuid:60381e22-733d-4d1e-b0df-24977f4ea7a3
endstream
endobj
3 0 obj
<<
/Count 30
/First 9 0 R
/Last 9 0 R
>>
endobj
4 0 obj
<<
/Nums [0 10 0 R]
>>
endobj
5 0 obj
<<
/Count 60
/Type /Pages
/Kids [11 0 R 12 0 R 13 0 R 14 0 R 15 0 R 16 0 R]
>>
endobj
6 0 obj
<<
/CropBox [0 0 493.151 700.075]
/MediaBox [0 0 493.151 700.075]
/Rotate 0
/Annots [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]
/Resources 29 0 R
/Parent 11 0 R
/Contents [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]
/Type /Page
>>
endobj
7 0 obj
<<
/Dests 40 0 R
>>
endobj
9 0 obj
<<
/First 41 0 R
/Dest (HLtitle.0)
/Title (Constructive Galois Connections)
/Parent 3 0 R
/Last 42 0 R
/Count 29
>>
endobj
10 0 obj
<<
/S /D
>>
endobj
11 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [6 0 R 43 0 R 44 0 R 45 0 R 46 0 R 47 0 R 48 0 R 49 0 R 50 0 R 51 0 R]
>>
endobj
12 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [52 0 R 53 0 R 54 0 R 55 0 R 56 0 R 57 0 R 58 0 R 59 0 R 60 0 R 61 0 R]
>>
endobj
13 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [62 0 R 63 0 R 64 0 R 65 0 R 66 0 R 67 0 R 68 0 R 69 0 R 70 0 R 71 0 R]
>>
endobj
14 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [72 0 R 73 0 R 74 0 R 75 0 R 76 0 R 77 0 R 78 0 R 79 0 R 80 0 R 81 0 R]
>>
endobj
15 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [82 0 R 83 0 R 84 0 R 85 0 R 86 0 R 87 0 R 88 0 R 89 0 R 90 0 R 91 0 R]
>>
endobj
16 0 obj
<<
/Parent 5 0 R
/Count 10
/Type /Pages
/Kids [92 0 R 93 0 R 94 0 R 95 0 R 96 0 R 97 0 R 98 0 R 99 0 R 100 0 R 101 0 R]
>>
endobj
17 0 obj
<<
/Rect [70.077 651.135 162.348 658.302]
/Subtype /Link
/A <<
/S /URI
/URI (https://doi.org/10.1017/S0956796819000066)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
18 0 obj
<<
/Rect [207.849 558.408 294.441 565.269]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:David.Darais@uvm.edu)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
19 0 obj
<<
/Rect [209.973 517.557 292.335 524.418]
/Subtype /Link
/A <<
/S /URI
/URI (mailto:dvanhorn@cs.umd.edu)
>>
/C [0 1 1]
/Border [0 0 0]
/H /I
/Type /Annot
>>
endobj
20 0 obj
<<
/Rect [58.449 187.653 79.353 199.608]
/Dest (cite.cousot-sop76)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
21 0 obj
<<
/Rect [85.386 187.653 106.29 199.608]
/Dest (cite.cousot-popl77)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
22 0 obj
<<
/Rect [112.314 187.653 133.218 199.608]
/Dest (cite.cousot-popl79)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
23 0 obj
<<
/Rect [139.242 187.653 160.146 199.608]
/Dest (cite.cousot-popl92)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
24 0 obj
<<
/Rect [166.17 187.653 187.074 199.608]
/Dest (cite.cousot-popl14)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
25 0 obj
<<
/Rect [277.608 96.987 298.512 108.942]
/Dest (cite.cousot-ai-list)
/Subtype /Link
/Border [0 0 0]
/C [0 1 0]
/H /I
/Type /Annot
>>
endobj
26 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [24.251999 15.849609 135.774 23.774414]
/Border [0 0 0]
/A 102 0 R
>>
endobj
27 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [138.942 15.849609 264.762 23.774414]
/Border [0 0 0]
/A 103 0 R
>>
endobj
28 0 obj
<<
/Type /Annot
/Subtype /Link
/Rect [69.804 23.774414 162.582 31.699219]
/Border [0 0 0]
/A 104 0 R
>>
endobj
29 0 obj
<<
/Font <<
/F1 105 0 R
/F2 106 0 R
/F3 107 0 R
/F4 108 0 R
/F5 109 0 R
/F6 110 0 R
/F7 111 0 R
/F8 112 0 R
>>
/ProcSet [/PDF /Text]
/ExtGState <<
/GS1 113 0 R
>>
/ColorSpace <<
/Cs6 [/ICCBased 114 0 R]
>>
>>
endobj
30 0 obj
<<
/Filter /FlateDecode
/Length 10
>>
stream
x+ |
endstream
endobj
31 0 obj
<<
/Filter /FlateDecode
/Length 576
>>
stream
HSMo@zWqxg?ٞ9MiT_M,Wv߁%*˛7͎nfM)FSdȁv zBdPD~wXi07-/۪y5`뒀 0zzZfR
Ӯ
gm'ʶrf1ٸjQz4[+[дKpg*ږ'[0rv l|>f43gSRx}-dST/ kdiX +vE|<7P$o-jwrSܢeaMC0h~a}K?_.Sցm{v0
endstream
endobj
32 0 obj
<<
/Filter /FlateDecode
/Length 644
>>
stream
HlSMo0+|4RSӴ)RCS0+R36lzf|70ҴɎ>X7k*:Ų)+]3NǾ͂H8*}jn9'$jΡ}4>+Guv'@XݜR xض=*k*kΠY,H
I}ѓq\H{'ԣ Pll0@`&E<`pHEN5ljT"c}mq~+L/CSp8AX<\lFQ˘wV;3ptMp` I1
endstream
endobj
33 0 obj
<<
/Filter /FlateDecode
/Length 612
>>
stream
HtS=0+2ٵIpcpCEcHl#ʵ8tHWÇUYWu]7A^Y9ÌE}ORi6>\ѳZܘMmB}dݱB_ l#ڲڋ:[q.jL4.Yi%nwz=|^LL{Sd_
F2g M.J+3NTR6=լp AkUʞK@3U\bFx`G[)SS@^ӬFfLnMv!I5J&!((d+~hc]/`[$O$nwV ;o|b?"C,\@#!"^$&zՒCw1^Gi$5NN|>ƙ YX^w׀j:m@`oq z9 |ph6P'֗E!1B7PN
E{9zKÕ0'>U{@`98aq^?"xds˒nWu$}6bYۼ!#ܨ2$?'x/EV\⛓OLmmd>s_ LwG dDH
endstream
endobj
34 0 obj
<<
/Filter /FlateDecode
/Length 650
>>
stream
HlT=0WdT|ط70%CsvRRrIH>j\b /W-:˲Š,B,v".WeQ GN;tPVeNh'Q^hdH!k1YI@`^C;ymOЀ=MpRH)w?ItX5/WM-X]xV_ɲzuV=FF0ȷ2a@""8#J"Vh;5IIQI)au_aL*e81AxMd FN2Yp g |K!h4g{Jv$0-HGIpQdLz߰q5TѝQNk1-uWS0wIioߕٝ[3iM8M/<йso"+VzaG
{Evf[
Nbp`tִb' `y~\n^eM[gu=Zݪ6o ^Ri{Md#>ta$4ޮѻ!qKA"NZӇJLA j2Fiѫ5M9DV}?, Qvu
endstream
endobj
35 0 obj
<<
/Filter /FlateDecode
/Length 650
>>
stream
HTTMo0+8U
/slFj,l-hxͼ7n{I4l/YV64Mj"/`%(oaLJAF1k]" *l?fp|2vZ|A.rS9!LNVt}njxNeVO|;Hlջ<1%zn42l~v4/0aZ%=s%lWG¸&YV<|k6J;.79ͣ9:Z)ʞydDuoԊy,D] frV X1Iqn3H#A
pgcWOTDV;4Qa3Ҫ 5f0}>lt-6g9&&($ϋE³,?]>|
IR\:YȲ<LW3oxy{z<;!1͓fe:xY0>*q+]m^mE]1%:qV8N><X'꼡}Ũde퇀;xk3eHk wo;9v7=o+G|QM*GalXU폍{ O\PrFwg7s_ y+F
endstream
endobj
36 0 obj
<<
/Filter /FlateDecode
/Length 453
>>
stream
HSMo0=heopoUHu
c/MRUE{̼}3o\g)cY!+)PJeaE#}Z qb%*Ȫ",yE2_S&ϑ%J"_ mt}p~.
.d|ܔſ 2}|Bؔt:+:/JMܾ(Rus h;|KTp`w~\>@l ۡoQFh;T'.֖7-W:pT'$<-)߾;a`[O6MR3)Sҹߢy; U1?=S\ZU<~̗'jkYN}`v.8^!'K\ #ĞZ$Z`
endstream
endobj
37 0 obj
<<
/Filter /FlateDecode
/Length 491
>>
stream
HSM0U?8H/q\mzmLTxȡ*`ycMo{vrׇ#YqaI@m.OvjaWſӯt8M n)Cϭ6"㳵.vdɴn!J]F{eTa?PS`sFn#:,^1#OW1(6Kz\UIŜzR
9~ %bRk5