A complete characterization of complete intersection-type preorders
ACM Transactions on Computational Logic (TOCL)
Game Semantics for Untyped lambda beta eta-Calculus
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
The Fine Structure of Game Lambda Models
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Topological incompleteness and order incompleteness of the lambda calculus
ACM Transactions on Computational Logic (TOCL)
Building continuous webbed models for system F
Theoretical Computer Science - Mathematical foundations of programming semantics
Graph models of $\lambda$-calculus at work, and variations
Mathematical Structures in Computer Science
Theoretical Computer Science - Algebraic methods in language processing
Compositional characterisations of λ-terms using intersection types
Theoretical Computer Science - Mathematical foundations of computer science 2000
Theoretical Computer Science
A Relational Model of a Parallel and Non-deterministic λ -Calculus
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Effective λ-models versus recursively enumerable λ-theories
Mathematical Structures in Computer Science
Some reasons for generalising domain theory
Mathematical Structures in Computer Science
MFCS'12 Proceedings of the 37th international conference on Mathematical Foundations of Computer Science
Lambda theories of effective lambda models
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |