Constructive type theory

Redirect to:

• Intuitionistic type theory