LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Completeness of type assignment systems with intersection, union, and type quantifiers
Theoretical Computer Science - Special issue on theories of types and proofs
Compositional Characterizations of lambda-Terms Using Intersection Types
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Characterising Strong Normalisation for Explicit Substitutions
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
What do types mean?: from intrinsic to extrinsic semantics
Programming methodology
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Reductions, intersection types, and explicit substitutions
Mathematical Structures in Computer Science
Intersection types for explicit substitutions
Information and Computation
Behavioural inverse limit λ-models
Theoretical Computer Science - Logic, semantics and theory of programming
Compositional characterisations of λ-terms using intersection types
Theoretical Computer Science - Mathematical foundations of computer science 2000
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Theoretical Computer Science
Complexity of strongly normalising λ-terms via non-idempotent intersection types
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Hi-index | 5.23 |