Berry's category of dI-domains with stable functions is a relatively intricate , yet elegant framework for semantics of programming languages. Despite over fteen years of work in the area, the exact reasons for dis-tributivity (Axiom d) and nitariness (Axiom I) have not been fully ex-plicated. This paper shows that Axiom d and Axiom I are important when one works within the realm of Scott-domai...

Stable bistructures are a generalisation of event structures to represent spaces of functions at higher types; the partial order of causal dependency is replaced by two orders, one associated with input and the other output in the behaviour of functions. They represent Berry’s bidomains. The representation can proceed in two stages. Bistructures form a categorical model of Girard’s linear logic...