Calibre-Web | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Big Debt Crises

Big Debt Crises

Calculus on Manifolds

Calculus on Manifolds

Quantum Mechanics and the Particles of Nature: An Outline for Mathematicians

Quantum Mechanics and the Particles of Nature: An Outline for ...

Anthony Sudbery

Studies in Chemical Physics (1)

Book of Proof

Book of Proof

Richard Hammack

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program