Tags
- Axiomatic system
- Bertrand Russell
- Calculus
- Category
- Category theory
- Classical logic
- Computer Science
- Computer scientist
- Constructivism
- Decision problem
- Dependent type
- DOI
- Essential
- Expression
- Expressive power
- Ferry Corsten
- First-order logic
- Fixed-point combinator
- Formal language
- Formation rule
- Free variables and bound variables
- Function
- Functional programming
- Generalized algebraic data type
- Glasgow Haskell Compiler
- Greg Morrisett
- Haskell
- Higher-order function
- Hindley–Milner type system
- Homotopy
- Homotopy type theory
- Infinite set
- Institute of Electrical and Electronics Engineers
- International Standard Book Number
- International Standard Serial Number
- Joe Wells
- Lambda calculus
- Logic
- Mathematical logic
- Mathematical object
- Mathematics
- ML
- Model of computation
- Model theory
- Net worth
- NLab
- Normalization property
- OCaml
- Operator associativity
- Parametric polymorphism
- Philosophy of mathematics
- Probability
- Programming language
- Programming language theory
- Proof assistant
- Proof theory
- Record
- Rewriting
- Robert Harper
- Russell's paradox
- Satisfiability
- Second
- Second-order
- Set theory
- Simply typed lambda calculus
- Subtyping
- System U
- Term logic
- Theory
- Top
- Type
- Type constructor
- Typed lambda calculus
- Type inference
- Type system
- Type variable
- Typing
- Universal quantification
- University of Edinburgh
- Wardrobe essentials