Intuitionistic Logic
- Sequent, sequent calculus
- Natural deduction
- Intuitionistic type theory
- BHK interpretation
- Curry–Howard
- Linear logic
- Game semantics
Read more about this topic: List Of Functional Programming Topics
Famous quotes containing the word logic:
“The logic of the world is prior to all truth and falsehood.”
—Ludwig Wittgenstein (1889–1951)