A duality theory for quantitative semantics (1997)

by Reinhold Heckmann, Michael Huth
Venue:In Computer science logic (Aarhus