On the longest perpetual reductions in orthogonal expression reduction systems
Theoretical Computer Science
A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic (TOCL)
Conservation and uniform normalization in Lambda calculi with erasing reductions
Information and Computation
Compositional Characterizations of lambda-Terms Using Intersection Types
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Introduction to Special Issue: Intersection types-new insights
Mathematical Structures in Computer Science
Coinductive characterizations of applicative structures
Mathematical Structures in Computer Science
Intersection types and lambda models
Theoretical Computer Science - Logic, language, information and computation
Compositional characterisations of λ-terms using intersection types
Theoretical Computer Science - Mathematical foundations of computer science 2000
A Behavioural Model for Klop's Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Theoretical Computer Science
| Hi-index | 0.00 |