Beta reduction is invariant, indeed.

Beniamino Accattoli, Ugo Dal Lago

Browse the full CSL paper archive.