The Univalent Foundations Program Institute for Advanced Study. Homotopy Type Theory: Univalent Foundations of…
The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.
- from
- Theoretical Computer Science
- added
- 2026-10-10
- likes
- 0
similar
-
Homotopy Type Theory hottheory.files.wordpress.com
Open textbook on homotopy type theory, univalent foundations, and higher-dimensional structures.
-
-
UniMath github.com
Library which aims to formalize a substantial body of mathematics using the univalent point of view.
-
Volume 1: Logical Foundations softwarefoundations.cis.upenn.edu
Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving.
-
-
Martin-Löf. Intuitionistic Type Theory raw.githubusercontent.com
Notes by Giovanni Sambin of a series of type theory lectures given in Padua, June 1980.
Theoretical Computer Science › Type Theory > Books: “The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.”