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

#state/develop | #lang/en | #SemBr