Author:
Blanqui Frédéric,Kirchner Claude,Riba Colin
Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. Higher order conditional rewriting and narrowing;Avenhaus,1994
2. The Lambda-Calculus, its Syntax and Semantics;Barendregt,1984
3. Pure patterns type systems;Barthe,2003
4. Modularity of strong normalization and confluence in the algebraic-lambda-cube;Barbanera;Journal of Functional Programming,1997
5. Conditional rewrite rules: confluence and termination;Bergstra;Journal of Computer and System Sciences,1986
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献