Dedekind completion as a method for constructing new Scott domains

Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication

Scott domæne, Dedekind snit
Original languageEnglish
Title of host publicationCATS/02, Computing: the Australasian Theory Symposium (ENTCS 61)
Place of PublicationAmsterdam
PublisherElsevier
Publication date2002
Pages1-14
ISBN (Print)0444510850
Publication statusPublished - 2002

ID: 16366