Source: wikibot/history-of-type-theory

= History of type theory
{wiki=History_of_type_theory}