Vicious circles in contracts and in logic

Contracts are formal promises on the future interactions of participants, which describe the causal dependencies among their actions. An inherent feature of contracts is that such dependencies may be circular: for instance, a buyer promises to pay for an item if the seller promises to ship it, and vice versa. We establish a bridge between two formal models for contracts, one based on games over event structures, and the other one on Propositional Contract Logic. In particular, we show that winning strategies in the game-theoretic model correspond to proofs in the logi

Session Types with Linearity in Haskell

Type systems with parametric polymorphism can encode a significant pro- portion of the information contained in session types. This allows concurrent programming with session-type-like guarantees in languages like ML and Java. However, statically enforcing the linearity properties of session types, in a way that is also natural to program with, is more challenging. Haskell provides various language features that can capture concurrent programming with session types, with full linearity invariants and in a mostly idiomatic style. This chapter overviews various approaches in the literature for session typed programming in Haskell. As a starting point, we use polymorphic types and simple type-level functions to provide session-typed communication in Haskell without linearity. We then overview and compare the varying approaches to implementing session types with static linearity checks. We conclude with a discussion of the remaining open problems. The code associated with this chapter can be found at http://github. com/dorchard/betty-book-haskell-sessions

Dutch disease-cum-financialization booms and external balance cycles in developing countries

We formally investigate the medium-to-long-run dynamics emerging out of a Dutch disease-cum-financialization phenomenon. We take inspiration from the most recent Colombian development pattern. The “pure” Dutch disease first causes deindustrialization by permanently appreciating the economy’s exchange rate in the long run. Financialization, i.e. booming capital inflows taking place in a climate of natural resource-led financial over-optimism, causes medium-run exchange rate volatility and macroeconomic instability. This jeopardizes manufacturing development even further by raising macroeconomic uncertainty. We advise the adoption of capital controls and a developmentalist monetary policy to tackle these two distinct but often intertwined phenomena

Resistance to chemotherapy: new treatments and novel insights into an old problem

Resistance to cancer chemotherapeutic treatment is a common phenomenon, especially in progressive disease. The generation of cellular models of drug resistance has been pivotal in unravelling the main effectors of resistance to traditional chemotherapy at the molecular level (i.e. intracellular drug inactivation, detoxifying systems, defects in DNA repair, apoptosis evasion, membrane transporters and cell adhesion). The development of targeted therapies has also been followed by resistance, reminiscent of an evolutionary arms race, as exemplified by imatinib and other BCR-ABL inhibitors for the treatment of chronic myelogenous leukaemia. Although traditionally associated with the last stages of the disease, recent findings with minimally transformed pretumorigenic primary human cells indicate that the ability to generate drug resistance arises early during the tumorigenic process, before the full transformation. Novel technologies, such as genome profiling, have in certain cases predicted the outcome of chemotherapy and undoubtedly have tremendous potential for the future. In addition, the novel cancer stem cell paradigm raises the prospect of cell-targeted therapies instead of treatment directed against the whole tumour

The macroeconomics of a financial Dutch disease

We describe the medium-run macroeconomic effects and long-run development consequences of a financial Dutch disease that may take place in a small developing country with abundant natural resources. The first move is in financial markets. An initial surge in foreign direct investment targeting natural resources sets in motion a perverse cycle between exchange rate appreciation and mounting short- and medium-term capital flows. Such a spiral easily leads to exchange rate volatility, capital reversals, and sharp macroeconomic instability. In the long run, macroeconomic instability and overdependence on natural resource exports dampen the development of nontraditional tradable goods sectors and curtail labor productivity dynamics. We advise the introduction of constraints to short- and medium-term capital flows to tame exchange rate/capital flows boom-and-bust cycles. We support the implementation of a developmentalist monetary policy targeting competitive nominal and real exchange rates in order to encourage product and export diversification

Prima facie reasons to question enclosed intellectual property regimes and favor open-source regimes for germplasm

In principle, intellectual property protections (IPPs) promote and protect important but costly investment in research and development. However, the empirical reality of IPPs has often gone without critical evaluation, and the potential of alternative approaches to lend equal or greater support for useful innovation is rarely considered. In this paper, we review the mounting evidence that the global intellectual property regime (IPR) for germplasm has been neither necessary nor sufficient to generate socially beneficial improvements in crop plants and maintain agrobiodiversity. Instead, based on our analysis, the dominant global IPR appears to have contributed to consolidation in the seed industry while failing to genuinely engage with the potential of alternatives to support social goods such as food security, adaptability, and resilience. The dominant IPR also constrains collaborative and cumulative plant breeding processes that are built upon the work of countless farmers past and present. Given the likely limits of current IPR, we propose that social goods in agriculture may be better supported by alternative approaches, warranting a rapid move away from the dominant single-dimensional focus on encouraging innovation through ensuring monopoly profits to IPP holders

Structural Change and Macrodynamic Capabilities

In this paper we intend to study some mechanisms that block a rapid diffusion of technological progress from advanced to underdeveloped countries. In order to accomplish this task we focus on two approaches that challenge the view that technological gaps between rich and poor nations are diminishing. The first is the structural economic dynamic approach and the second is the evolutionary view. Both of them reveal that the elimination of the technological gaps between rich and poor nations is more complex than what is been reported by the mainstream theory of economic growth