Cozy Library | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Re-Counting Plato: A Computer Analysis of Plato's Style

Re-Counting Plato: A Computer Analysis of Plato's Style

Gerard R. Ledger

Complete Works of Xenophon (Illustrated) (Delphi Ancient Classics)

Complete Works of Xenophon (Illustrated) (Delphi Ancient Classics)

Causality, Electromagnetic Induction, and Gravitation: A Different Approach to the Theory of Electromagnetic and Gravitational Fields

Causality, Electromagnetic Induction, and Gravitation: A Different ...

Oleg D. Jefimenko

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