P.: Quantitative information flow, relations and polymorphic types (0)

by D Clark, S Hunt, Malacaria
Venue:Journal of Logic and Computation