Herman Geuvers. The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 453-460, IEEE Computer Society, 1992.
@inproceedings{Geuvers92, title = {The Church-Rosser Property for beta-eta-reduction in Typed lambda-Calculi}, author = {Herman Geuvers}, year = {1992}, researchr = {https://researchr.org/publication/Geuvers92}, cites = {0}, citedby = {0}, pages = {453-460}, booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA}, publisher = {IEEE Computer Society}, }