Parametricity and local variables
Journal of the ACM (JACM)
Logical Predicates for Intuitionistic Linear Type Theories
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Logical Relations for Monadic Types
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Information and Computation
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Intuitionistic model constructions and normalization proofs
Mathematical Structures in Computer Science
Girard translation and logical predicates
Journal of Functional Programming
Journal of Functional Programming
Cryptographic logical relations
Theoretical Computer Science
Logical relations for monadic types†
Mathematical Structures in Computer Science
On completeness of logical relations for monadic types
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
The Functional Interpretation of Direct Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating computational effects by ⊤⊤-lifting
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
A semantic formulation of ⊤⊤-lifting and logical predicates for computational metalanguage
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Relating computational effects by ττ-lifting
Information and Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |