Example image of eyePlorer eyePlorer map for 'Type theory': Computer science Formal system Logic Mathematics Naive set theory Programming language theory Type system Typed lambda calculus Bertrand Russell Gottlob Frege Russell's paradox Alfred North Whitehead Principia Mathematica Alonzo Church Higher-order logic Kleene–Rosser paradox Lambda calculus Calculus of constructions Intuitionistic type theory Jean-Yves Girard Per Martin-Löf System F Set (mathematics) Set theory Frank P. Ramsey Leon Chwistek Vicious circle principle Axiom of reducibility Simply typed lambda calculus Domain of discourse Individual First-order logic Binary relation Urelement Peano axioms Primitive recursive function Transfinite number Natural number Atomic formula Identity (mathematics) Infix Model theory Axiom schema Free variables and bound variables Reflexive relation Transitive relation Total order Infinity Ordered pair Axiom of infinity