On categories generalizing universal domains
Mathematical Structures in Computer Science
Profunctors, open maps and bisimulation
Mathematical Structures in Computer Science
The Bicategory-Theoretic Solution of Recursive Domain Equations
Electronic Notes in Theoretical Computer Science (ENTCS)
On the completeness of order-theoretic models of the λ-calculus
Information and Computation
A domain equation for bisimulation
Information and Computation
Some reasons for generalising domain theory
Mathematical Structures in Computer Science
A Convex Powerdomain over Lattices: its Logic and λ-Calculus
Fundamenta Informaticae
Hi-index | 0.00 |