Mitchell–Benabou internal language

Redirect to:

• Categorical logic