Varacca, Daniele
-
BRICS Report Series No. 38 (2002): RS-38 The Powerdomain of Indexed Valuations - Articles
The Powerdomain of Indexed Valuations
Abstract PDF -
BRICS Report Series No. 10 (2004): RS-10 Probabilistic Event Structures and Domains - Articles
Probabilistic Event Structures and Domains
Abstract PDF