Author:
Bezem Marc,Klop Jan Willem,van Oostrom Vincent
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference16 articles.
1. The Lambda Calculus: Its Syntax and Semantics;Barendregt,1984
2. Relative Termination;Geser,1990
3. The Church–Rosser Property and a Result in Combinatory Logic;Hindley,1964
4. Confluent reductions: Abstract properties and applications to term rewriting systems;Huet;Assoc. Comput. Mach.,1980
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing determinacy of concurrent revisions;Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs;2020-01-20
2. Bisimulation and Coinduction Enhancements: A Historical Perspective;Formal Aspects of Computing;2019-12
3. Braids via term rewriting;Theoretical Computer Science;2019-07
4. Confluence of the Chinese Monoid;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019
5. De Bruijn’s weak diamond property revisited;Indagationes Mathematicae;2013-11