A framework for studying substitution
Acta Cybernetica
Substitution in non-wellfounded syntax with variable binding
Theoretical Computer Science - Selected papers of CMCS'03
Theory support for weak higher order abstract syntax in Isabelle/HOL
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
A formal calculus for informal equality with binding
WoLLIC'07 Proceedings of the 14th international conference on Logic, language, information and computation
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Time abstraction in timed µCRL à la regions
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems
| Hi-index | 5.23 |