Entre 1957 y 1962 expuso en el Seminario Bourbaki una renovación total de los fundamentos de la geometría algebraica, y en 1958 introdujo la K-teoría.