Source: /wikibot/type-theory

= Type theory
{wiki=Type_theory}