Cozy Library | Category: type theory

Browse
Advanced Search
Books
Shelves

Discover (Random Books)

Common sense

Common sense

Paine, Thomas, 1737-1809

Game Programming Gems 2

Game Programming Gems 2

Mark A. Deloura

Big Debt Crises

Big Debt Crises

Proclus' On the Hieratic Art According to the Greeks

Proclus' On the Hieratic Art According to the Greeks

Eleni Pachoumi;

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program