Calibre-Web | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Game Programming Gems 5

Game Programming Gems 5

Totalitarianism

Totalitarianism

Principles

Principles

Early Retirement Extreme: A Philosophical and Practical Guide to Financial Independence

Early Retirement Extreme: A Philosophical and Practical Guide ...

Jacob Lund Fisker

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program