Explore relationships

Theory Of Types

In mathematical logic, and theoretical computer science, type theory is the study of formal systems that classify expressions or mathematical objects by their types.

Use + to expand a branch. Click a topic name to open its summary.