Separating stages in the continuation-passing style transformation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Some Lambda Calculus and Type Theory Formalized
Journal of Automated Reasoning
Modular Verification of Data Abstractions with Shared Realizations
IEEE Transactions on Software Engineering
Presentations for Abstract Context Institutions
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Testing Hennessy-Milner Logic with Recursion
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A framework for studying substitution
Acta Cybernetica
A formalised first-order confluence proof for the λ-calculus using one-sorted variable names
Information and Computation - RTA 2001
Secure mechanical verification of mutually recursive procedures
Information and Computation
Alpha-structural recursion and induction
Journal of the ACM (JACM)
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Abstract Conditions for the Confluence of Explicit Substitution Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
External and internal syntax of the λ-calculus
Journal of Symbolic Computation
Simple types in type theory: deep and shallow encodings
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Alpha-structural recursion and induction
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Essential incompleteness of arithmetic verified by coq
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
A Canonical Locally Named Representation of Binding
Journal of Automated Reasoning
Hi-index | 5.23 |