Game Semantics for Untyped lambda beta eta-Calculus
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
A Complete Coinductive Logical System for Bisimulation Equivalence on Circular Objects
FoSSaCS '99 Proceedings of the Second International Conference on Foundations of Software Science and Computation Structure, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
The Fine Structure of Game Lambda Models
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Coinductive characterizations of applicative structures
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Parametric parameter passing λ-calculus
Information and Computation
Coalgebraic description of generalised binary methods
Mathematical Structures in Computer Science
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
Journal of Functional Programming
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Coinductive Axiomatization of Recursive Type Equality and Subtyping
Fundamenta Informaticae
Hi-index | 0.00 |