DOMAIN accepted papers

Regular papers

Jirí Adámek, Techn. U of Braunschweig, Germany
On a description of free iterative theories

Benjamín René Callejas Bedregal, Federal U of Rio Grande do Norte, Brazil
An information systems representation to SFP and retract of SFP domains

Benjamín René Callejas Bedregal, Federal U of Rio Grande do Norte, Brazil and Roberto Callejas-Bedregal, Federal U of Paraíba, Brazil
biScott domain as a Cartesian closed category

Lee Flax, Macquarie U, Australia
Approximation of entailment

Panagis Karazeris, U Patras, Greece and Jirí Velebil, Techn. U of Braunschweig, Germany
Left exact Kan extensions, powerdomain distributivity, preservation of bisimulation

Ho Weng Kin and Zhao Dongsheng, National Inst. of Education, Singapore
On characterization of Scott closed set lattices

Gordon Plotkin and John Power, U Edinburgh, UK
Computational effects and operations: an overview

Paula Severi, U Turin, Italy and Fer-Jan de Vries, U Leicester, UK
A lambda calculus for D

Guo-Qiang Zhang, Case Western Reserve U, USA; Ying Jiang, Chinese Academy of Sciences, China; and Yixiang Chen, Shanghai Normal U, China
Stable bifinite domains: the finite antichain condition