Type theory
Rotation formalisms in three dimensions
Axiom
Mathematical proof
Intuitionistic logic
Mathematics
Curry–Howard correspondence
Equivalence (formal languages)
Computer science
Algebra over a field
Sequent calculus
Type (biology)
Discrete mathematics
Linear logic
Pure mathematics
Ecology
Geometry
Biology