A representation of L-domains by information systems

Abstract

In this paper, we propose the notion of L-information systems which provides a concrete representation of L-domains. In particular, we prove that the category of L-information systems with approximable mappings as morphisms is equivalent to that of L-domains with Scott continuous functions as morphisms.