Handbook of logic in computer science (vol. 2)
From λσ to λν: a journey through calculi of explicit substitutions
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Confluence properties of weak and strong calculi of explicit substitutions
Journal of the ACM (JACM)
Foundations of programming languages
Foundations of programming languages
Explicit substitution on the edge of strong normalization
Theoretical Computer Science
Typed lambda-calculi with explicit substitutions may not terminate
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution
PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs
A Factorisation Theorem in Rewriting Theory
CTCS '97 Proceedings of the 7th International Conference on Category Theory and Computer Science
Strong Normalization of Explicit Substitutions via Cut Elimination in Proof Nets
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
Characterising Strong Normalisation for Explicit Substitutions
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
Intersection types for explicit substitutions
Information and Computation
Extending the explicit substitution paradigm
RTA'05 Proceedings of the 16th international conference on Term Rewriting and Applications
| Hi-index | 0.00 |