Sophia
Search
Search
Dark mode
Light mode
Explorer
Home
❯
vault
❯
Background
❯
Type Theory
Folder: vault/Background/Type-Theory
6 items under this folder.
Oct 01, 2026
Definitional vs Propositional Equality
definition
Oct 01, 2026
Dependent Types
definition
Oct 01, 2026
Linear and Affine Types
definition
Oct 01, 2026
Normalization by Evaluation
definition
algorithm
Oct 01, 2026
Proof Assistant
definition
Oct 01, 2026
Type Theory
definition
overview