Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. H. P. Barendregt. The lambda calculus: its syntax and semantics. North-Holland, Amsterdam, 1984.
2. V. Breazu-Tannen. Combining algebra and higher-order types. In Proceedings 3rd IEEE Symposium on Logic in Computer Science, Edinburgh, July 1988.
3. N. Dershowitz. Orderings for term-rewriting systems. Theoretical Computer Science, 17:279–301, 1982.
4. N. Dershowitz. Termination of rewriting. Journal Symbolic Computation, 3:69–116, 1987.
5. N. Dershowitz and C. Hoot. Topics in termination. LNCS, 690:198–212, 1993.