Modal Homotopy Type Theory appears in 1 book list

By David Corfield,

Modal Homotopy Type Theory appears in 1 book list on Shepherd.

Want books like Modal Homotopy Type Theory?

Our community of 10,000+ authors has personally recommended 100 books like Modal Homotopy Type Theory.

Browse books like Modal Homotopy Type Theory

5 book lists we think you will like!

Interested in math, philosophy, and logic?

10,000+ authors have recommended their favorite books and what they love about them. Browse their picks for the best books about math, philosophy, and logic.

Math Explore 257 books about math
Philosophy Explore 1,617 books about philosophy
Logic Explore 42 books about logic