Cozy Library | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Calculus on Manifolds

Calculus on Manifolds

Gravitation and Cogravitation: Developing Newton's Theory of Gravitation to Its Physical and Mathematical Conclusion

Gravitation and Cogravitation: Developing Newton's Theory of ...

Oleg D. Jefimenko

PLP An introduction to mathematical proof

PLP An introduction to mathematical proof

Seckin Demibras, Andrew Rechnitzer

Negating Negation: Against the Apophatic Abandonment of the Dionysian Corpus

Negating Negation: Against the Apophatic Abandonment of the ...

Timothy D. Knepper

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program