%PDF-1.4 % 12 0 obj << /S /GoTo /D (Outline0.1) >> endobj 15 0 obj (Game semantics) endobj 16 0 obj << /S /GoTo /D (Outline0.2) >> endobj 19 0 obj (The theory of traversals) endobj 20 0 obj << /S /GoTo /D (Outline0.2.1.9) >> endobj 23 0 obj (The ingredients) endobj 24 0 obj << /S /GoTo /D (Outline0.2.2.27) >> endobj 27 0 obj (The Correspondence Theorem) endobj 28 0 obj << /S /GoTo /D (Outline0.2.3.29) >> endobj 31 0 obj (Example) endobj 32 0 obj << /S /GoTo /D (Outline0.2.4.32) >> endobj 35 0 obj (Demo) endobj 36 0 obj << /S /GoTo /D (Outline0.3) >> endobj 39 0 obj (Applications) endobj 40 0 obj << /S /GoTo /D (Outline0.4) >> endobj 43 0 obj (Conclusion) endobj 44 0 obj << /S /GoTo /D [45 0 R /Fit ] >> endobj 47 0 obj << /Length 498 /Filter /FlateDecode >> stream xTn0+xZhYMv+ tK
&$r/_{n.Df\.aּ'աvq\&MJ(zkDNh36.km'00'IVOS?r(JiO/{^7
endstream
endobj
45 0 obj <<
/Type /Page
/Contents 47 0 R
/Resources 46 0 R
/MediaBox [0 0 362.835 272.126]
/Trans << /S /R >>
/Parent 54 0 R
>> endobj
48 0 obj <<
/D [45 0 R /XYZ 19.842 272.126 null]
>> endobj
52 0 obj <<
/D [45 0 R /XYZ -28.346 0 null]
>> endobj
53 0 obj <<
/D [45 0 R /XYZ -28.346 0 null]
>> endobj
46 0 obj <<
/ColorSpace 3 0 R /Pattern 2 0 R /ExtGState 1 0 R
/Font << /F21 49 0 R /F16 50 0 R /F22 51 0 R >>
/ProcSet [ /PDF /Text ]
>> endobj
57 0 obj <<
/Length 712
/Filter /FlateDecode
>>
stream
xT]o0}ﯰx!|
xxHFj{?-X⡵c^s%h:Ha+Kr)P^1(I&QBKſAٿ@P١1-9*$1I1J4_Rw~8tݓsr\:(bJ3S}8d\R( OVFoUcjrΓm;MY,Ƹ)|v:^A 8tNUvX# Y>/NTYc