Introduction to Homotopy Type Theory - Cambridge Studies in Advanced Mathematics - Rijke, Egbert (The Johns Hopkins University, Maryland) - Books - Cambridge University Press - 9781108844161 - August 31, 2025
In case cover and title do not match, the title is correct

Introduction to Homotopy Type Theory - Cambridge Studies in Advanced Mathematics

Rijke, Egbert (The Johns Hopkins University, Maryland)

Price
$ 65.49
excl. VAT
Expected delivery Sep 8 - 11, 2025

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Introduction to Homotopy Type Theory - Cambridge Studies in Advanced Mathematics

An introduction to type theory and the univalence axiom, aimed at advanced undergraduate and graduate students of mathematics and computer science with an interest in the foundations and formalization of mathematics. Prerequisites are minimal and over 200 exercises provide ample practice material.

Media Books     Hardcover Book   (Book with hard spine and cover)
To be released August 31, 2025
ISBN13 9781108844161
Publishers Cambridge University Press
Pages 383
Dimensions 669 g   (Weight (estimated))

See all of Rijke, Egbert (The Johns Hopkins University, Maryland) ( e.g. Hardcover Book )