Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Abstract Syntax and Variable Binding for Linear Binders
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Type assignment and termination of interaction nets
Mathematical Structures in Computer Science
Girard translation and logical predicates
Journal of Functional Programming
A unified category theoretic approach to variable binding
MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
Pseudo-distributive laws and axiomatics for variable binding
Higher-Order and Symbolic Computation
Science of Computer Programming
Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
| Hi-index | 0.00 |