Operational, denotational and logical descriptions: a case study
Fundamenta Informaticae - Special issue on mathematical foundations of computer science '91
Journal of Computer and System Sciences
Full abstraction in the lazy lambda calculus
Information and Computation
PROCOMET '98 Proceedings of the IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods
Parametric parameter passing λ-calculus
Information and Computation
Game semantics for the pure lazy λ-calculus
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Calculi, types and applications
Theoretical Computer Science
Theoretical Computer Science
Hi-index | 0.00 |