Environment (type theory)

Redirect to:

• Typing environment