%PDF-1.5 % 10 0 obj << /S /GoTo /D (Outline0.1) >> endobj 13 0 obj (Big Picture: Proofs and structures) endobj 14 0 obj << /S /GoTo /D (Outline0.2) >> endobj 17 0 obj (Problem evidence: Structural Recursion without structure) endobj 18 0 obj << /S /GoTo /D (Outline0.2.1.30) >> endobj 21 0 obj (Structural Recursion in ITPs: Types give Structure) endobj 22 0 obj << /S /GoTo /D (Outline0.2.2.39) >> endobj 25 0 obj (Structural Recursion without structure in LP?) endobj 26 0 obj << /S /GoTo /D (Outline0.3) >> endobj 29 0 obj (Solution: New Structural Resolution for ATP) endobj 30 0 obj << /S /GoTo /D (Outline0.4) >> endobj 33 0 obj (Solution's Effect: Universal Productivity for Structural Resolution, for free) endobj 34 0 obj << /S /GoTo /D [35 0 R /Fit] >> endobj 37 0 obj << /Length 334 /Filter /FlateDecode >> stream xRMO0WJ4!rBʚ BNڿ'%Em$;Ovg?':b{㇏0S#SZdHQ`W.a?4;V ƘP+2;"a맺ȣDj@IdFEH]]oq"&kٲwSr6U zvF3a.@"8OsC)