type-theories

Calculus of ConstructionsConstructive type theoryramified-type-theorysimple-type-theorySubstructural type systems
PreviousVarianceNextCalculus of Constructions

Was this helpful?