A Fully Abstract Model for Higher-Order Mobile Ambients
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Union Types for Semistructured Data
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
A semantics for lambda calculi with resources
Mathematical Structures in Computer Science
A filter model for mobile processes
Mathematical Structures in Computer Science
Calculi, types and applications
Theoretical Computer Science
A Relational Model of a Parallel and Non-deterministic λ -Calculus
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Fundamenta Informaticae
| Hi-index | 5.23 |