In 1970, after finishing the second volume of his treatise on the combinatory logic, Curry retired from the University of Amsterdam and returned to State College, Pennsylvania.
V roce 1970, po dokončení druhého dílu jeho pojednání o kombinatorické logice, Curry odešel z univerzity v Amsterdamu a vrátil se do State College v Pensylvánii.