A category of compositional domain-models for separable Stone spaces

Fabio Alessi, Paolo Baldan, Furio Honsell. A category of compositional domain-models for separable Stone spaces. Theoretical Computer Science, 290(1):599-635, 2003.

Abstract

Abstract is missing.