Mitchell–Bénabou internal language

Redirect to:

• Categorical logic