Equality in lazy computation systems
Proceedings of the Fourth Annual Symposium on Logic in computer science
An introduction to functional programming
An introduction to functional programming
Handbook of logic in computer science (vol. 3)
Proving congruence of bisimulation in functional programming languages
Information and Computation
From operational semantics to domain theory
Information and Computation
Bisimilarity as a theory of functional programming
Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
Relational interpretations of recursive types in an operational setting
Information and Computation
Games and full abstraction for FPC
Information and Computation - Special issue: LICS 1996—Part 1
The generic approximation lemma
Information Processing Letters
Introduction to Functional Programming
Introduction to Functional Programming
Syntactic Considerations on Recursive Types
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Operational Domain Theory and Topology of a Sequential Programming Language
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Proof Methods for Corecursive Programs
Fundamenta Informaticae - Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
Operational domain theory and topology of sequential programming languages
Information and Computation
Hi-index | 0.00 |
We develop a domain theory for treating recursive types with respect to contextual equivalence. The principal approach taken here deviates from classical domain theory in that we do not produce the recursive types via the usual inverse limits constructions - we have it for free by working directly with the operational semantics. By extending type expressions to endofunctors on a 'syntactic' category, we establish algebraic compactness. To do this, we rely on an operational version of the minimal invariance property. In addition, we apply techniques developed herein to reason about FPC programs.