A modal analysis of staged computation
Journal of the ACM (JACM)
A Curry-Howard Isomorphism for Compilation and Program Execution
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Explicitly Typed lambda µ-Calculus for Polymorphism an Call-by-Value
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Categorical and Kripke Semantics for Constructive S4 Modal Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
From dynamic binding to state via modal possibility
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
A judgmental reconstruction of modal logic
Mathematical Structures in Computer Science
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
Programming Languages For Interactive Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Game Semantics for Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Cut-free Gentzen calculus for multimodal CK
Information and Computation
Constructive linear-time temporal logic: Proof systems and Kripke semantics
Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
The confinement problem in the presence of faults
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
An abstract categorical semantics for functional reactive programming with processes
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification
| Hi-index | 0.01 |