Calibre-Web | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Rework

Rework

Jason Fried & David Heinemeier Hansson

Art of Computer Programming, Volume 2: Seminumerical Algorithms, Third Edition

Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...

Donald E. Knuth

Causality, Electromagnetic Induction, and Gravitation: A Different Approach to the Theory of Electromagnetic and Gravitational Fields

Causality, Electromagnetic Induction, and Gravitation: A Different ...

Oleg D. Jefimenko

The Grain Brain Whole Life Plan

The Grain Brain Whole Life Plan

David Perlmutter MD

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program