Explore relationships

Typing environment

In type theory, a typing environment (or typing context) represents the association between variable names and data types.

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