The media plays a vital role in informing the public about new developments in cancer research and influencing cancer policy. This is no easy task, in view of the myriad of trials and wonder drugs that purport to be the 'magic bullet'. However, misrepresentation can have profound consequences. In this qualitative study, we sought to understand the interaction between the media and cancer throug...

We prove a relative completeness result for a logic of functional programs extending D. Scott’s LCF. For such a logic, contrary to results for Hoare logic, it does not make sense to ask whether it is complete relative to the full theory of its first-order part, since the first order part does not determine uniquely the model at higher-order types. Therefore, one has to fix a model and choose an...