An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory

Domains in H

Theoretical Computer Science - Domains

Complete Axioms for Categorical Fixed-Point Operators

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science

The HASCASL prologue: categorical syntax and semantics of the partial λ-calculus

Theoretical Computer Science

Difunctorial Semantics of Object Calculus

Electronic Notes in Theoretical Computer Science (ENTCS)

Some reasons for generalising domain theory

Mathematical Structures in Computer Science

A semantic model for graphical user interfaces

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming