Calculus of Constructions

Typecheck