Media type: E-Article Title: Quantitative Information Flow, Relations and Polymorphic Types Contributor: Clark, D. Published: Oxford University Press (OUP), 2005 Published in: Journal of Logic and Computation, 15 (2005) 2, Seite 181-199 Language: English DOI: 10.1093/logcom/exi009 ISSN: 0955-792X; 1465-363X Origination: Footnote: