Klaus Grue

Klaus Grue

Emeritus


Publication year:
All
1 - 1 out of 1Page size: 10
  1. 2002
  2. Published

    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, p. 1-14

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

ID: 283753155