Intersection types for λ-trees
Theoretical Computer Science - Special issue on theories of types and proofs
A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic (TOCL)
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
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
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 bounded polymorphism
Mathematical Structures in Computer Science
Intersection types and domain operators
Theoretical Computer Science - Logic, semantics and theory of programming
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
Calculi, types and applications
Theoretical Computer Science
Theoretical Computer Science
Logical Semantics for Stability
Electronic Notes in Theoretical Computer Science (ENTCS)
Effective λ-models versus recursively enumerable λ-theories
Mathematical Structures in Computer Science
Type Preorders and Recursive Terms
Electronic Notes in Theoretical Computer Science (ENTCS)
Recursive domain equations of filter models
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
Strong normalization from an unusual point of view
Theoretical Computer Science
An operational characterization of strong normalization
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Continuity and discontinuity in lambda calculus
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Order structures on böhm-like models
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Solvability in resource lambda-calculus
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Full abstraction for set-based models of the symmetric interaction combinators
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Intersection Types with Subtyping by Means of Cut Elimination
Fundamenta Informaticae - Intersection Types and Related Systems ITRS
| Hi-index | 0.00 |