Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Y. Akama. On Mints' reduction for ccc-calculus. In Typed λ-Calculus and Applications, volume 664 of Lecture Notes in Computer Science, pages 1–12. Springer Verlag, 1993.
2. H. Barendregt. The Lambda Calculus: Its Syntax and Semantics (revised edition). Number 103 in Studies in Logic and the Foundations of Mathematics. North Holland, 1984.
3. V. Breazu-Tannen and J. Gallier. Polymorphic rewriting preserves algebraic strong normalisation. Theoretical Computer Science, 83:3–28, 1991.
4. V. Breazu-Tannen and J. Gallier. Polymorphic rewriting preserves algebraic confluence. Information and Computation, 114:1–29, 1994.
5. R. Di Cosmo and D. Kesner. Simulating expansions without expansions. Mathematical Structures in Computer Science, 4:1–48, 1994.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献