Description

Book Synopsis

Chapter 1 Introduction.- Chapter 2  Answers to Readers’ Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Substitution.- Chapter 8 Proof Systems.- Chapter 9 Theories.- Chapter 10 Inductive Sets and Types.- Chapter 11 Sequences.- Chapter 12 Developments.- Chapter 13 Real Number Mathematics.- Chapter 14 Morphisms.- Chapter 15 Alonzo Variants.- Chapter 16 Software Support.

Simple Type Theory

    Product form

    £64.99

    Includes FREE delivery

    Order before 4pm today for delivery by Sat 1 Aug 2026.

    A Hardback by William Farmer

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Simple Type Theory by William Farmer

      Publisher: Birkhäuser
      Publication Date: Publication Date: 18/04/2025
      ISBN13: 9783031853517, 978-3031853517
      ISBN10:
      Also in:
      Computing Mathematical theory of computation

      Description

      Book Synopsis

      Chapter 1 Introduction.- Chapter 2  Answers to Readers’ Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Substitution.- Chapter 8 Proof Systems.- Chapter 9 Theories.- Chapter 10 Inductive Sets and Types.- Chapter 11 Sequences.- Chapter 12 Developments.- Chapter 13 Real Number Mathematics.- Chapter 14 Morphisms.- Chapter 15 Alonzo Variants.- Chapter 16 Software Support.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account