Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the complexity of stream equality;Journal of Functional Programming;2014-01-20
2. The Omega Rule is Π11-Complete in the λβ-Calculus;Logical Methods in Computer Science;2009-04-27
3. Conditional linearization;Indagationes Mathematicae;1999
4. Some results on the full abstraction problem for restricted lambda calculi;Lecture Notes in Computer Science;1993
5. Extended term rewriting systems;Conditional and Typed Rewriting Systems;1991