Pages that link to "Type Theory"
The following pages link to Type Theory:
Displaying 48 items.
- 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)
- Self-Reference (← links)
- Mathematical Logic (← links)
- Proof theory (← links)
- Foundations of Mathematics (← links)
- Constructive Mathematics (← links)
- Errett Bishop (← links)
- Per Martin-Löf (← links)
- Proof Relevance (← links)
- Proof Assistant (← links)
- Russell's Paradox (← links)
- Axiomatic Set Theory (← links)
- Unification (← links)
- Mathematical intuitionism (← links)
- Substructural Logic (← links)
- Arend Heyting (← links)
- Natural Transformation (← links)
- Myles Tierney (← links)
- Homotopy Type Theory (← links)
- Haskell (← links)
- Computer science (← links)
- Naive Set Theory (← links)
- Proof assistant (← links)
- Axiom of Reducibility (← links)
- Predicative Mathematics (← links)
- Russell's paradox (← links)
- Formal System (← links)
- Cantor's Theorem (← links)
- Third Man Argument (← links)
- Formal methods (← links)
- Theorem proving (← links)
- Agda (← links)
- GADTs (← links)
- PVS (← links)
- Separation Logic (← links)
- Higher-Order Logic (← links)
- Specification Language (← links)
- Z Notation (← links)
- Barbara Liskov (← links)
- Liskov Substitution Principle (← links)