Introduction to Homotopy Type Theory

Name: Introduction to Homotopy Type Theory
Brand: Cambridge University Press
SKU: 9781108844161
Price: 5441.00 INR
Availability: InStock

by Egbert Rijke

Cambridge University Press

₹5,441

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

This up-to-date introduction to type theory and homotopy type theory will be essential reading for advanced undergraduate and graduate students interested in the foundations and formalization of mathematics. The book begins with a thorough and self-contained introduction to dependent type theory. No prior knowledge of type theory is required.

Description supplied by the publisher.