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 usefulness of madmen is famous: they demonstrate society’s logic flagrantly carried out down to its last scrimshaw scrap.”
—Cynthia Ozick (b. 1928)
Related Phrases
Related Words