User:Gregorio Piccoli/Books/ProofsAsPrograms

The Curry-Howard correspondence

 * Curry–Howard correspondence
 * Proof theory
 * Ordinal analysis
 * Formal proof
 * Formal language
 * Formal grammar
 * Formation rule
 * Formal system
 * Formal semantics (logic)
 * Interpretation (logic)
 * Hilbert system
 * Natural deduction
 * Sequent calculus
 * Structural proof theory
 * Proof-theoretic semantics
 * Logical harmony
 * Method of analytic tableaux
 * Substructural logic
 * Intuitionistic type theory