Computer science
Programming language
Type theory
Correctness
Functional programming
Domain theory
Embedding
Curry–Howard correspondence
Haskell
Dependent type
Predicate logic
Typed lambda calculus
Predicate (mathematical logic)
Theoretical computer science
Discrete mathematics
Mathematics
Type (biology)
Lambda calculus
Description logic
Artificial intelligence
Ecology
Biology
