Orthogonal higher-order rewrite systems are confluent (1993)

by T Nipkow
Venue:In Proceedings of the International Conference on Typed Lambda Calculi and Applications