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 worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody elses imagination, as if that were the only place in which one could at last become real!”
—Thomas Merton (19151968)