Cozy Library | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Eros and Magic in the Renaissance

Eros and Magic in the Renaissance

Ioan P. Culianu

Taking People With You: The Only Way to Make Big Things Happen Paperback

Taking People With You: The Only Way to Make Big Things Happen ...

Mediated

Mediated

Thomas de Zengotita

Clojure for the Brave and True: Learn the Ultimate Language and Become a Better Programmer

Clojure for the Brave and True: Learn the Ultimate Language ...

Daniel Higginbotham

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program