Type theory

Calculus of substitutions

The calculus of substitutions is one way of formalizing a type theory which is particularly convenient with respect to categorical semantics.

• Linear calculus of substitutions
• Cartesian calculus of substitutions

---

develop | en | SemBr