Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting

The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while the latter uses equalities. When given by rewrites, algebraic lambda-calculi are not confluent unless further restrictions are added. We provide a type system for the linear-algebraic lambda-calculus enforcing strong normalisation, which gives back confluence. The type system allows an abstract interpretation in System F.Comment: In Proceedings LSFA 2011, arXiv:1203.542

SWISSCIT Index on Citizenship Law in Swiss Cantons: Conceptualisation, Measurement, Aggregation

In the Swiss federal context, the acquisition of citizenship through ordinary naturalization, the enjoyment of electoral rights as a foreign resident, and the retention of the franchise as a Swiss citizen abroad is not uniformly defined through a single federal law but co-determined by the cantons. In this explanatory note, we introduce SWISSCIT, a set of indicators measuring how inclusive cantonal citizenship policies are through a systematic comparison of the legislation in force as of 31 December 2017 in the 26 cantons. The dataset comprises three separate aggregated indicators, measuring the legislation on 1) ordinary naturalization of foreign residents; 2) the right to vote and stand as candidate of foreign residents in local and cantonal elections; and 3) the right to vote and stand as candidate of Swiss citizens abroad in their municipality and canton of origin. The note successively discusses issues of conceptualization, measurement and aggregation. By making our methodology fully transparent, we follow what has become common practice in index-building and hope to encourage users to make use of our data in their own research

Completeness of algebraic CPS simulations

The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the differential lambda calculus, the latter is a candidate lambda calculus for quantum computation. They differ in the handling of application arguments and algebraic rules. The two languages can simulate each other using an algebraic extension of the well-known call-by-value and call-by-name CPS translations. These simulations are sound, in that they preserve reductions. In this paper, we prove that the simulations are actually complete, strengthening the connection between the two languages.Comment: In Proceedings DCM 2011, arXiv:1207.682

Semantics of a Typed Algebraic Lambda-Calculus

Algebraic lambda-calculi have been studied in various ways, but their semantics remain mostly untouched. In this paper we propose a semantic analysis of a general simply-typed lambda-calculus endowed with a structure of vector space. We sketch the relation with two established vectorial lambda-calculi. Then we study the problems arising from the addition of a fixed point combinator and how to modify the equational theory to solve them. We sketch an algebraic vectorial PCF and its possible denotational interpretations

Acute diarrhea in adults consulting a general practitioner in France during winter: incidence, clinical characteristics, management and risk factors

International audienceBackgroundData describing the epidemiology and management of viral acute diarrhea (AD) in adults are scant. The objective of this study was to identify the incidence, clinical characteristics, management and risk factors of winter viral AD in adults.MethodsThe incidence of AD in adults during two consecutive winters (from December 2010 to April 2011 and from December 2011 to April 2012) was estimated from the French Sentinelles network. During these two winters, a subset of Sentinelles general practitioners (GPs) identified and included adult patients who presented with AD and who filled out a questionnaire and returned a stool specimen for virological examination. All stool specimens were tested for astrovirus, group A rotavirus, human enteric adenovirus, and norovirus of genogroup I and genogroup II. Age- and sex-matched controls were included to permit a case¿control analysis with the aim of identifying risk factors for viral AD.ResultsDuring the studied winters, the average incidence of AD in adults was estimated to be 3,158 per 100,000 French adults (95% CI [2,321 ¿ 3,997]). The most reported clinical signs were abdominal pain (91.1%), watery diarrhea (88.5%), and nausea (83.3%). GPs prescribed a treatment in 95% of the patients with AD, and 80% of the working patients with AD could not go to work. Stool examinations were positive for at least one enteric virus in 65% (95% CI [57 ¿ 73]) of patients with AD with a predominance of noroviruses (49%). Having been in contact with a person who has suffered from AD in the last 7 days, whether within or outside the household, and having a job (or being a student) were risk factors significantly associated with acquiring viral AD.ConclusionsDuring the winter, AD of viral origin is a frequent disease in adults, and noroviruses are most often the cause. No preventable risk factor was identified other than contact with a person with AD. Thus, at the present time, reinforcement of education related to hand hygiene remains the only way to reduce the burden of disease

A System F accounting for scalars

The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for the linear-algebraic lambda-calculus. We show that this "scalar" type system enjoys both the subject-reduction property and the strong-normalisation property, our main technical results. The latter yields a significant simplification of the linear-algebraic lambda-calculus itself, by removing the need for some restrictions in its reduction rules. But the more important, original feature of this scalar type system is that it keeps track of 'the amount of a type' that is present in each term. As an example of its use, we shown that it can serve as a guarantee that the normal form of a term is barycentric, i.e that its scalars are summing to one

Genetic Structure of Human A/H1N1 and A/H3N2 Influenza Virus on Corsica Island: Phylogenetic Analysis and Vaccine Strain Match, 2006–2010

Background: The aim of this study was to analyse the genetic patterns of Hemagglutinin (HA) genes of influenza A strains circulating on Corsica Island during the 2006-2009 epidemic seasons and the 2009-2010 pandemic season. [br/] Methods: Nasopharyngeal samples from 371 patients with influenza-like illness (ILI) were collected by General Practitioners (GPs) of the Sentinelles Network through a randomised selection routine. [br/] Results: Phylogenetic analysis of HA revealed that A/H3N2 strains circulating on Corsica were closely related to the WHO recommended vaccine strains in each analyzed season (2006-2007 to 2008-2009). Seasonal Corsican influenza A/H1N1 isolated during the 2007-2008 season had drifted towards the A/Brisbane/59/2007 lineage, the A/H1N1 vaccine strain for the 2008-2009 season. The A/H1N1 2009 (A/H1N1pdm) strains isolated on Corsica Island were characterized by the S220T mutation specific to clade 7 isolates. It should be noted that Corsican isolates formed a separate sub-clade of clade 7 as a consequence of the presence of the fixed substitution D222E. The percentages of the perfect match vaccine efficacy, estimated by using the p(epitope) model, against influenza viruses circulating on Corsica Island varied substantially across the four seasons analyzed, and tend to be highest for A/H1N1 compared with A/H3N2 vaccines, suggesting that cross-immunity seems to be stronger for the H1 HA gene. [br/] Conclusion: The molecular analysis of the HA gene of influenza viruses that circulated on Corsica Island between 2006-2010 showed for each season the presence of a dominant lineage characterized by at least one fixed mutation. The A/H3N2 and A/H1N1pdm isolates were characterized by multiples fixation at antigenic sites. The fixation of specific mutations at each outbreak could be explained by the combination of a neutral phenomenon and a founder effect, favoring the presence of a dominant lineage in a closed environment such as Corsica Island