Retracts in simply typed lambda-beta-eta-calculus

Ugo de Liguoro, Adolfo Piperno, Richard Statman. Retracts in simply typed lambda-beta-eta-calculus. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 461-469, IEEE Computer Society, 1992.

Abstract

Abstract is missing.