A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic (TOCL)
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Building continuous webbed models for system F
Theoretical Computer Science - Mathematical foundations of programming semantics
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
Theoretical Computer Science
On the origins of bisimulation and coinduction
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
Hi-index | 0.00 |