From Branching to Linear Metric Domains (and back)
Franck van Breugel June 1995 |
Abstract:A branching and a linear metric domain--both turned into a category--are related by means of a reflection and a coreflection.
Available as PostScript, PDF, DVI. |