add homotopy type theory reference to research statement