Thomas Second Brain
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
Math
❯
Foundations
❯
Type Thoery
Type Thoery
6 items under this folder.
Proofs
Jul 03, 2026
Type (Type Theory)
linker-exclude
Mar 05, 2026
Σ-types (Dependent pair types)
Mar 05, 2026
Π-types (Dependent function types)
Mar 05, 2026
λ-calculus
Mar 05, 2026
Type Family