Mathematics
Type Theory
100%
Semantics
78%
Syntax
73%
Signature
48%
Categorical
47%
Bicategory
41%
Monads
40%
Language
38%
Object
27%
Libraries
23%
Axiom
23%
Equivalence Principle
22%
Completion
20%
Comodule
18%
Substitution
18%
Term
18%
Triangular matrix
17%
Infinite Matrices
17%
Homotopy Theory
17%
Homotopy Type
16%
Equivalence
16%
Lambda Calculus
15%
Dependent
15%
Programming Languages
14%
Family
12%
Isomorphism
10%
Formalization
10%
Module
9%
Presheaves
9%
Subsystem
9%
Model
9%
Faithful
9%
Integrate
7%
Algebraic Structure
7%
Sort
6%
Framework
6%
Iteration
5%
Engineering & Materials Science
Substitution reactions
71%
Semantics
70%
Algebra
34%
Computer programming languages
33%
Syntactics
32%
Specifications
14%
Gluing
10%