%PDF-1.4 % 5 0 obj << /S /GoTo /D (section.1) >> endobj 8 0 obj (Introduction) endobj 9 0 obj << /S /GoTo /D (section.2) >> endobj 12 0 obj (The Honda-Vasconcelos-Kubo Session Typing System in honda.vasconcelos.kubo:language-primitives) endobj 13 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 16 0 obj (Syntax and Operational Semantics) endobj 17 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 20 0 obj (Type Discipline) endobj 21 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 24 0 obj (Changes from the ESOP'98 system) endobj 25 0 obj << /S /GoTo /D (subsection.2.4) >> endobj 28 0 obj (Subject Reduction and Type Safety) endobj 29 0 obj << /S /GoTo /D (section.3) >> endobj 32 0 obj (A More Liberal Session Passing Style) endobj 33 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 36 0 obj (Syntax and Operational Semantics) endobj 37 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 40 0 obj (Type Discipline) endobj 41 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 44 0 obj (Subject Reduction and Type Safety) endobj 45 0 obj << /S /GoTo /D (section.4) >> endobj 48 0 obj (Conclusion) endobj 49 0 obj << /S /GoTo /D [50 0 R /Fit ] >> endobj 52 0 obj << /Length 994 /Filter /FlateDecode >> stream xڥTYoF~ׯ{q5v04VI mIYQҼ c曙o d&^˝+[IdȮV!dJyY Ld+]$ vI8TSRF^Wggq7;iϬ7u-}ڕǶe!d V\Z=$|Z_eZp'p\Ŀh>FRMPtVW3xUMEɍ '1'6xbM $e$P[X!?'"Đ"z/t Wtd1zތ${FP!Yυ'~Lq(õ1g3ȬDWj@Y+X~f7@,J~n?sY=j7(PΩhMxb%*kX> гOT^~pPZ_lҚ '{nUi 3]j^2pnP)ؿ *r ,g<)wD^kR6 u}J&>uJ]