Er bewies auch, dass die rationale Homotopietheorie von Dennis Sullivan algorithmisch behandelt werden kann.
He also proved that the rational homotopy theory of Dennis Sullivan can be treated algorithmically.