Retracts in simply typed lambda-beta-eta-calculus

Ugo de'Liguoro, Adolfo Piperno, Richard Statman

Browse the full LICS paper archive.