Cozy Library | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Mythology

Mythology

Edith Hamilton & Jim Tierney

René Descartes: Principles of Philosophy: Translated, With Explanatory Notes

René Descartes: Principles of Philosophy: Translated, With Explanatory ...

René Descartes

The Art of Game Design, 3rd Edition

The Art of Game Design, 3rd Edition

AI Game Programming Wisdom

AI Game Programming Wisdom

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program