On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science
A Calculus of Lambda Calculus Contexts
Journal of Automated Reasoning
Descendants and Head Normalization of Higher-Order Rewrite Systems
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming
Higher-order pattern complement and the strict λ-calculus
ACM Transactions on Computational Logic (TOCL)
Expressing combinatory reduction systems derivations in the rewriting calculus
Higher-Order and Symbolic Computation
Expression reduction systems and extensions: an overview
Processes, Terms and Cycles
Hi-index | 0.00 |