Description

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.

The Code of Mathematics

Product form

£44.99

Includes FREE delivery
Usually despatched within days
Paperback by Stefan Muller-Stach

1 in stock

Short Description:

Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the... Read more

    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    Publication Date: 9/4/2024
    ISBN13: 9783662694824, 978-3662694824
    ISBN10: 3662694824

    Non Fiction , Mathematics & Science , Education

    Description

    Inspired by recent developments in dependent type theory and infinity categories, this book presents a history of ideas around the topics of truth, proof, equality and equivalence. The main focus of this textbook is on dependent type theory and its recent variant homotopy type theory.

    Customer Reviews

    Be the first to write a review
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)
    0%
    (0)

    Recently viewed products

    © 2024 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