[[!redirects Resources]] [[!redirects resources]] < [[nlab:homotopy type theory#References]]