Cover 8

Homotopy Type Theory

Homotopy Type Theory

By
The Univalent Foundations Program
The Univalent Foundations Program
2013 • 618 pages

Ratings1

Average rating3

15

List

17,840 books

My Library

Nitin
Nitin Rughoonauth
Fermi Remembered
Goedel's Way: Exploits into an undecidable world
Brave Genius: A Scientist, a Philosopher, and Their Daring Adventures from the French Resistance to the Nobel Prize
Debate en torno a la etica del discurso de Apel: Diálogo filosófico Norte-Sur desde América Latina
Love and math : the heart of hidden reality
The Road to Reality
The Large, the Small and the Human Mind