Calibre-Web | Category: type theory

Browse
Books
Shelves

Discover (Random Books)

Modern C

Modern C

Philosophy as a Rite of Rebirth From Ancient Egypt to Neoplatonism

Philosophy as a Rite of Rebirth From Ancient Egypt to Neoplatonism

Algis Uzdavinys

The Financial Crisis Inquiry Report: Final Report of the National Commission on the Causes of the Financial and Economic Crisis in the United States

The Financial Crisis Inquiry Report: Final Report of the National ...

Financial The Financial Crisis Inquiry Commission

The Divine Proportion

The Divine Proportion

Category: type theory

Homotopy Type Theory: Univalent Foundations of Mathematics

Homotopy Type Theory: Univalent Foundations of Mathematics

Univalent Foundations Program