Calibre-Web | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

The Platonic Doctrines of Albinus

The Platonic Doctrines of Albinus

Science Since Babylon

Science Since Babylon

Derek J. deSolla Price

Electromagnetic Retardation and Theory of Relativity: New Chapters in the Classical Theory of Fields

Electromagnetic Retardation and Theory of Relativity: New Chapters ...

Oleg D. Jefimenko

Business Adventures

Business Adventures

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program