A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic (TOCL)
Typed operational semantics for higher-order subtyping
Information and Computation
A semantics for lambda calculi with resources
Mathematical Structures in Computer Science
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Calculi, types and applications
Theoretical Computer Science
| Hi-index | 5.23 |