A modal analysis of staged computation
Journal of the ACM (JACM)
Semantics of linear/modal lambda calculus
Journal of Functional Programming
The Computational SLR: A Logic for Reasoning about Computational Indistinguishability
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Ramified recurrence with dependent types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Computational indistinguishability logic
Proceedings of the 17th ACM conference on Computer and communications security
The computational slr: A logic for reasoning about computational indistinguishability
Mathematical Structures in Computer Science
A calculus for game-based security proofs
ProvSec'10 Proceedings of the 4th international conference on Provable security
Structural recursion on ordered trees and list-based complex objects
ICDT'07 Proceedings of the 11th international conference on Database Theory
A higher-order characterization of probabilistic polynomial time
FOPARA'11 Proceedings of the Second international conference on Foundational and Practical Aspects of Resource Analysis
| Hi-index | 0.00 |