Dedekind completion as a method for constructing new Scott domains
Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
Scott domæne, Dedekind snit
Originalsprog | Engelsk |
---|---|
Titel | CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61) |
Udgivelsessted | Amsterdam |
Forlag | Elsevier |
Publikationsdato | 2002 |
Sider | 1-14 |
ISBN (Trykt) | 0444510850 |
Status | Udgivet - 2002 |
ID: 16366