Quartz 4
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Martin Löf Type Theory
Martin-Löf Type Theory
Graph View
Backlinks
Logical System
Philosophy of Mathematics
Relation between Tarski Semantics and Tarski Universes
Intuitionistic Type Theory
Univalence Principle
Index
A categorical semantics for inductive-inductive definitions
dybjer1999-inductive-recursive
Homotopy Type Theory: Univalent Foundations of Mathematics