Retracts in simply typed lambda-beta-eta-calculus

@inproceedings{deLiguoro1992RetractsIS,
  title={Retracts in simply typed lambda-beta-eta-calculus},
  author={Ugo de'Liguoro and Adolfo Piperno and Richard Statman},
  booktitle={LICS},
  year={1992}
}