Type theory

Type Theory is a broad family of formal systems.
Examples:

• homotopy type theory
• Martin-Lof Type Theory