From λσ to λν: a journey through calculi of explicit substitutions
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Simplification Orderings: History Of Results
Fundamenta Informaticae
Termination Of Term Rewriting By Semantic Labelling
Fundamenta Informaticae
Hi-index | 0.00 |