The Powerdomain of Indexed Valuations.

Daniele Varacca
Published in: LICS (2002)