Quantitative information flow, relations and polymorphic types (0)

by David Clark, Sebastian Hunt, Pasquale Malacaria
Venue:J. of Logic and Computation