Institutional Repository

A gentle introduction to domain theory: domains and powerdomains

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


Browse

My Account

Statistics