Source: /wikibot/intuitionistic-type-theory

= Intuitionistic type theory
{wiki=Intuitionistic_type_theory}