The Combinatory Programme

Authors:

ISBN: 978-1-4612-8716-2 (Print) 978-1-4612-4268-0 (Online)

Table of contents (8 chapters)

  1. Front Matter

    Pages i-vii

  2. Historical and Philosophical Background

    1. No Access

      Book Chapter

      Pages 1-12

      Historical and Philosophical Background

  3. An Algebraization of Universal Algebra

    1. Front Matter

      Pages 13-13

    2. No Access

      Book Chapter

      Pages 14-30

      Axiomatic Extensions

    3. No Access

      Book Chapter

      Pages 31-45

      Aspects of Universal Algebra in Combinatory Logic

    4. No Access

      Book Chapter

      Pages 46-55

      Remarks on an Algebraic Theory of Recursive Degrees

  4. An Algebraization of Formal Properties of Objects

    1. Front Matter

      Pages 57-57

    2. No Access

      Book Chapter

      Pages 58-76

      An Algebraization of Hierarchical and Recursive Distributed Processes

    3. No Access

      Book Chapter

      Pages 77-96

      Algebra of Approximate Computation

  5. Relations to Logical and Computer-Algebraic Calculi

    1. Front Matter

      Pages 97-97

    2. No Access

      Book Chapter

      Pages 98-116

      Solving Discontinuous Ordinary Differential Equations

    3. No Access

      Book Chapter

      Pages 117-136

      Types and Consistency

  6. Back Matter

    Pages 137-144