Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories
Conference proceeding (September 2021)
The most recent citing publications are shown below. View all 5 publications that cite this research output on Dimensions.
Conference proceeding (September 2021)
Preprint in arXiv (September 2016)
Article in Electronic Proceedings in Theoretical Computer Science (September 2016)