A gentle introduction to domain theory: domains and powerdomains

dc.contributor.author	Goslett, J.
dc.contributor.author	Melton, A
dc.date.accessioned	2018-05-30T09:16:43Z
dc.date.available	2018-05-30T09:16:43Z
dc.date.issued	1995
dc.identifier.citation	Goslett J & Melton A (1995) A gentle introduction to domain theory: domains and powerdomains. South African Computer Journal, Number 13, 1995	en
dc.identifier.issn	2313-7835
dc.identifier.uri	http://hdl.handle.net/10500/24157
dc.description.abstract	This tutorial is a companion paper to the tutorial Denotational Semantics and Domain Theory by Goslett, Hulley, and Melton. The purpose of the earlier tutorial was to present a computationally intuitive introduction to domain theory and denotational semantics. The purpose of this tutorial is to present a mathematically rigorous introduction to domain theory. Thus, we develop the mathematical foundation which was not presented in the earlier tutorial. Though this is a mathematical presentation, it is a gentle introduction with the proofs given in much detail.	en
dc.language.iso	en	en
dc.publisher	South African Computer Society (SAICSIT)	en
dc.subject	Domains	en
dc.subject	Powerdomains	en
dc.title	A gentle introduction to domain theory: domains and powerdomains	en
dc.type	Article	en