Cozy Library | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Delphi Complete Works of Euripides (Illustrated)

Delphi Complete Works of Euripides (Illustrated)

Deuterium Depletion: A New Way in Curing Cancer and Preserving Health

Deuterium Depletion: A New Way in Curing Cancer and Preserving ...

Algorithms to Live By

Algorithms to Live By

Brian Christian

Philosophy and Theurgy in Late Antiquity

Philosophy and Theurgy in Late Antiquity

Algis Uzdavinys & John F. Finamore

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program