User:EJBrowne/Books/Type Theory Review

Type Theory Review

 * Logic
 * Logic
 * Axiom
 * Truth value
 * Formal system
 * Consistency
 * Mathematical logic
 * Intuitionistic logic
 * Categorical logic
 * First-order logic
 * Proof theory
 * Universal quantification
 * Existential quantification
 * Gödel's incompleteness theorems


 * Type Theory
 * Type theory
 * Type system
 * Intuitionistic type theory
 * Homotopy type theory
 * Type constructor
 * Inductive type
 * Substructural type system
 * Dependent type


 * Algebra
 * Group (mathematics)
 * Set (mathematics)


 * Foundations
 * System U
 * Foundations of mathematics
 * Extensionality
 * Extensional and intensional definitions
 * Category theory
 * Arithmetic
 * Set theory
 * Peano axioms
 * Natural number
 * Axiom of choice
 * Function (mathematics)
 * Church encoding
 * Constructivism (mathematics)
 * Intuitionism
 * Primitive recursive function
 * Curry–Howard correspondence
 * Topos
 * Model theory
 * Equivalence relation
 * Reflexive relation
 * Impredicativity
 * Normalization property (abstract rewriting)


 * Computation
 * Lambda calculus
 * Typed lambda calculus
 * Simply typed lambda calculus
 * System F
 * Lambda cube
 * Calculus of constructions
 * Polymorphism (computer science)


 * Category Theory
 * Brouwer–Heyting–Kolmogorov interpretation
 * Functor
 * Cartesian closed category
 * Closed monoidal category