Inferring Intersection Typings that are Equivalent to Call-by-Name and Call-by-Value Evaluations

We present a procedure to infer a typing for an arbitrary λ-term M in an intersection-type system that translates into exactly the call-by-name (resp., call-by-value) evaluation of M. Our framework is the recently developed System E which augments intersection types with expansion variables. The inferred typing for M is obtained by setting up a unification problem involving both type variables and expansion variables, which we solve with a confluent rewrite system. The inference procedure is compositional in the sense that typings for different program components can be inferred in any order, and without knowledge of the definition of other program components. Using expansion variables lets us achieve a compositional inference procedure easily. Termination of the procedure is generally undecidable. The procedure terminates and returns a typing if the input M is normalizing according to call-by-name (resp., call-by-value). The inferred typing is exact in the sense that the exact call-by-name (resp., call-by-value) behaviour of M can be obtained by a (polynomial) transformation of the typing. The inferred typing is also principal in the sense that any other typing that translates the call-by-name (resp., call-by-value) evaluation of M can be obtained from the inferred typing for M using a substitution-based transformation.

Depression and 'crises of meaninglessness' in the political-economic theology of the money-God

The thesis starts with a historical analysis of the development of depression as a concept. Through this inquiry, the controversies behind the apparent consensus about depression’s etiology and treatment are illuminated, suggesting that the understanding of the climbing rates of depression in contemporary Western civilization is still up for grabs. That’s what the thesis sets out to investigate. In order to accomplish this aim, the study builds upon the classical accounts of Georg Simmel, Émile Durkheim and the more contemporary ideas of Dany-Robert Dufour, in dialogue with an array of supplementary theoretical sources. Navigating through this ‘sea’ of extraordinary and different theories, a new avenue of reflections arises, contributing for the sophistication of the questions made about the phenomenon of depression’s rates. The fundamental argument emerging from this theoretical undertaking is that ‘crises of meaninglessness’ that pervade the collective body of Western contemporary societies have, as one of its consequences, the expansion of depression rates. Meaninglessness in contemporary times is the primary object of investigation of the thesis. The concept, in the context of this study, is not understood as merely an effect of the historical decline of shared social norms due to processes of individualization. Rather, it is claimed, it originates from and is reinforced by the ‘political-economic theology of neo-liberalism’ which becomes virtually generalized in the West, erecting money as a God. The study concludes that by undermining culturally established values, ideals, institutions and principles that may block the dissemination of commodities this new transcendence has been challenging the task of signifying life, potentializing – among other subjective difficulties – the diffusion of depression.

Evolving brand-name and generic drug competition may warrant a revision of the Hatch-Waxman Act.

The evolution of pharmaceutical competition since Congress passed the Hatch-Waxman Act in 1984 raises questions about whether the act's intended balance of incentives for cost savings and continued innovation has been achieved. Generic drug usage and challenges to brand-name drugs' patents have increased markedly, resulting in greatly increased cost savings but also potentially reduced incentives for innovators. Congress should review whether Hatch-Waxman is achieving its intended purpose of balancing incentives for generics and innovation. It also should consider whether the law should be amended so that some of its provisions are brought more in line with recently enacted legislation governing approval of so-called biosimilars, or the corollary for biologics of generic competition for small-molecule drugs.

What’s in a name: Dimensions of social learning in teacher groups

Induced by a literature review, this paper presents a framework of dimensions and indicators highlighting the underpinning aspects and values of social learning within teacher groups. Notions of social networks, communities of practice and learning teams were taken as the main perspectives to influence this social learning framework. The review exercise resulted in four dimensions: (1) practice, (2) domain and value creation, (3) collective identity and (4) organization. The indicators corresponding to these dimensions serve as the foundation for understanding social learning in practice. The framework of dimensions and indicators can be of assistance for researchers as well as teacher groups that aim to assess their views on social learning and analyse whether these views fit the learning goals of the group, or that adjustments are required. In this way, learning processes within groups of teachers can be improved.

Southern Ocean biogeography and taxonomic resolution: what's in the name?

We examined the taxonomic resolution of zooplankton data required to identify ocean basin scale biogeographic zonation in the Southern Ocean. A 2,154 km transect was completed south of Australia. Sea surface temperature (SST) measured at 1 min intervals showed that seven physical zones were sampled. Zooplankton were collected at a spatial resolution of similar to 9.2 km with a continuous plankton recorder, identified to the highest possible taxonomic resolution and enumerated. Zooplankton assemblage similarity between samples was calculated using the Bray-Curtis index for the taxonomic levels of species, genus, family, order and class after first log(10)(x + 1) (LA) and then presence/absence (PA) transformation of abundance data. Although within and between zone sample similarity increased with decreasing taxonomic resolution, for both data transformations, cluster analysis demonstrated that the biogeographic separation of zones remained at all taxonomic levels when using LA data. ANOSIM confirmed this, detecting significant differences in zooplankton assemblage structure between all seven a priori determined physical zones for all taxonomic levels when using the LA data. In the case of the PA data for the complete data set, and both LA and PA data for a crustacean only data set, no significant differences were detected between zooplankton assemblages in the Polar frontal zone (PFZ) and inter-PFZ at any taxonomic level. Loss of information at resolutions below the species level, particularly in the PA data, prevented the separation of some zones. However, the majority of physical zones were biogeographically distinct from species level to class using both LA and PA transformations. Significant relationships between SST and zooplankton community structure, summarised as NMDS scores, at all taxonomic levels, for both LA and PA transformations, and complete and crustacean only data sets, highlighted the biogeographic relevance of low resolution taxonomic data. The retention of biogeographic information in low taxonomic resolution data shows that data sets collected with different taxonomic resolutions may be meaningfully merged for the post hoc generation of Southern Ocean time series.

14. About Aeonio-Euphorbion canariensis Sundíng 1972, correct alliance name against Kleinio-Euphorbion canariense Rivas Goday & Esteve 1965

About Aeonio-Euphorbion canariensis Sundíng 1972, correct alliance name against Kleinio-Euphorbion canariense Rivas Goday & Esteve 1965