Cover 8

Homotopy Type Theory

Cover 8

Homotopy Type Theory

Homotopy Type Theory

By

The Univalent Foundations Program

By

The Univalent Foundations Program

2013 • 618 pages

Homotopy Type Theory

Homotopy Type Theory

ByThe Univalent Foundations Program

Type: Physical Book

Pages: 618

Release Date: 2013-01-01

Readers: 1

Community

Readers & Supporters

Join Our Discord

Follow Along

Blog Hardcover Live About Hardcover Request a feature

We're an Open Book

Frequently Asked Questions Contact Support Roadmap Our Policies