[[!redirects type theory]] [[!redirects type theories]] < [[nlab:type theory]] category: redirected to nlab