Constructive type theory
Redirect to:
Intuitionistic type theory