In the beginning of the 1970s, he proved his exact functor theorem, which allows the construction of a homology theory from a formal group law.
Anfang der 1970er Jahre bewies er sein Exact Functor Theorem, das die Konstruktion einer Homologietheorie aus einem formalen Gruppengesetz erlaubte.