Su tesis se tituló "Fixed Points of Recursive Programs" (en español, "Puntos Fijos de Programas Recursivos").