%PDF-1.4 % 4 0 obj << /S /GoTo /D (section.1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (section.2) >> endobj 11 0 obj (Copatterns and Termination) endobj 12 0 obj << /S /GoTo /D (subsection.2.1) >> endobj 15 0 obj (Example: Fibonacci) endobj 16 0 obj << /S /GoTo /D (subsection.2.2) >> endobj 19 0 obj (Type-based termination for copatterns) endobj 20 0 obj << /S /GoTo /D (subsection.2.3) >> endobj 23 0 obj (Example: Stream processor) endobj 24 0 obj << /S /GoTo /D (section.3) >> endobj 27 0 obj (Syntax) endobj 28 0 obj << /S /GoTo /D (subsection.3.1) >> endobj 31 0 obj (Sizes) endobj 32 0 obj << /S /GoTo /D (subsection.3.2) >> endobj 35 0 obj (Kinds and type constructors) endobj 36 0 obj << /S /GoTo /D (subsection.3.3) >> endobj 39 0 obj (Terms and \(co\)patterns) endobj 40 0 obj << /S /GoTo /D (subsection.3.4) >> endobj 43 0 obj (Declarations and programs) endobj 44 0 obj << /S /GoTo /D (subsection.3.5) >> endobj 47 0 obj (Type checking) endobj 48 0 obj << /S /GoTo /D (section.4) >> endobj 51 0 obj (Semantics) endobj 52 0 obj << /S /GoTo /D (subsection.4.1) >> endobj 55 0 obj (Semantic Types) endobj 56 0 obj << /S /GoTo /D (subsection.4.2) >> endobj 59 0 obj (Ordinals and Fixed-Points) endobj 60 0 obj << /S /GoTo /D (subsection.4.3) >> endobj 63 0 obj (Kinds) endobj 64 0 obj << /S /GoTo /D (subsection.4.4) >> endobj 67 0 obj (Type constructors) endobj 68 0 obj << /S /GoTo /D (subsection.4.5) >> endobj 71 0 obj (Patterns, copatterns, -abstractions) endobj 72 0 obj << /S /GoTo /D (section.5) >> endobj 75 0 obj (Conclusion) endobj 76 0 obj << /S /GoTo /D [77 0 R /Fit ] >> endobj 102 0 obj << /Length 5440 /Filter /FlateDecode >> stream x;ْȑ nF ۳k+Ydkrh`P8W H}!+O~x PeUe^U^OI)u_fWmw47AڛVAQBj 2Oo6 |_X}z>7.\jIiN@]ɘwM~?a܀q6>e5F֔˓$q!̑ D<9;ӹG