Thomas Second Brain
Search
Search
Dark mode
Light mode
Explorer
Home
❯
Math
❯
Type Thoery
Folder: Math/Type-Thoery
6 items under this folder.
Mar 05, 2026
Proofs
Mar 05, 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