Pages that link to "Type Theory"
The following pages link to Type Theory:
Displaying 15 items.
- Gottlob Frege (← links)
- Paradox (← links)
- Category Theory (← links)
- Lambda Calculus (← links)
- Modularity in Biology (← links)
- Curry-Howard Correspondence (← links)
- Madhyamaka (← links)
- Formal Verification (← links)
- Dependent Types (← links)
- Theory of Types (← links)
- Intuitionism (← links)
- Self-Reference (← links)
- Mathematical Logic (← links)
- Proof theory (← links)
- Foundations of Mathematics (← links)