Weak orthogonality implies confluence: the higher-order case
暂无分享,去创建一个
textabstractIn this paper we prove confluence for weakly orthogonal Higher-Order Rewriting Systems. This generalises all the known `confluence by orthogonality' results.