Varacca, Daniele
-
BRICS Report Series Nr. 38 (2002): RS-38 The Powerdomain of Indexed Valuations - Artikler
The Powerdomain of Indexed Valuations
Resumé PDF (English) -
BRICS Report Series Nr. 10 (2004): RS-10 Probabilistic Event Structures and Domains - Artikler
Probabilistic Event Structures and Domains
Resumé PDF (English)