Para este propósito comenzó a compilar una comparación sistemática de tipos.
Su objetivo era identificar patrones y relaciones entre diferentes categorías, lo que le permitiría desarrollar una teoría más completa y coherente sobre la naturaleza de los tipos.