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.
@inproceedings{LiguoroPS92,
title = {Retracts in simply typed lambda-beta-eta-calculus},
author = {Ugo de Liguoro and Adolfo Piperno and Richard Statman},
year = {1992},
researchr = {https://researchr.org/publication/LiguoroPS92},
cites = {0},
citedby = {0},
pages = {461-469},
booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA},
publisher = {IEEE Computer Society},
}