Pages that link to "Curry-Howard Correspondence"
The following pages link to Curry-Howard Correspondence:
Displaying 35 items.
- Category Theory (← links)
- Formal Systems (← links)
- Rice's Theorem (← links)
- Type Theory (← links)
- Proof Theory (← links)
- Theory of Types (← links)
- Intuitionism (← links)
- Brouwer-Heyting-Kolmogorov interpretation (← links)
- Foundations of Mathematics (← links)
- Programming Language Theory (← links)
- Structural Proof Theory (← links)
- Per Martin-Löf (← links)
- Proof Relevance (← links)
- Type theory (← links)
- Proof Assistant (← links)
- Topos theory (← links)
- William Lawvere (← links)
- Topos (← links)
- Homotopy Type Theory (← links)
- Haskell (← links)
- Haskell Curry (← links)
- Functional Programming (← links)
- Combinatory Logic (← links)
- Rust (← links)
- Borrow checker (← links)
- Proof assistant (← links)
- Theorem Proving (← links)
- Philosophy of mathematics (← links)
- Formal methods (← links)
- Agda (← links)
- Dependent Type (← links)
- PVS (← links)
- Higher-Order Logic (← links)
- Z Notation (← links)
- Talk:Category Theory (← links)