Constructive type theory

Redirect to:

  • Intuitionistic type theory