Klaus Grue
Emeritus
Datalogisk Institut
Universitetsparken 1, 2100 København Ø
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
1 - 1 ud af 1Pr. side: 10
- 2002
- Udgivet
Dedekind completion as a method for constructing new Scott domains
Grue, Klaus & Harland, J., 2002, CATS/02, Computing: the Australasian Theory Symposium (ENTCS 61). Amsterdam: Elsevier, s. 1-14Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
ID: 283753155