Cartesian Closedness of The Category of Consistent L-domains

WANG Xi-juan
DOI: https://doi.org/10.3969/j.issn.1009-7740.2006.03.020
2006-01-01
Abstract:In this paper we obtain that the category of consistent L-domains and Scott continuous functions is cartesian closed.
What problem does this paper attempt to address?