Logical Step-Indexed Logical Relations

Appel and McAllester's "step-indexed" logical relations have proven to be a simple and effective technique for reasoning about programs in languages with semantically interesting types, such as general recursive types and general reference types. However, proofs using step-indexed models typically involve tedious, error-prone, and proof-obscuring step-index arithmetic, so it is important to develop clean, high-level, equational proof principles that avoid mention of step indices. In this paper, we show how to reason about binary step-indexed logical relations in an abstract and elegant way. Specifically, we define a logic LSLR, which is inspired by Plotkin and Abadi's logic for parametricity, but also supports recursively defined relations by means of the modal "later" operator from Appel, Melli\`es, Richards, and Vouillon's "very modal model" paper. We encode in LSLR a logical relation for reasoning relationally about programs in call-by-value System F extended with general recursive types. Using this logical relation, we derive a set of useful rules with which we can prove contextual equivalence and approximation results without counting steps

'Getting people on board': Discursive leadership for consensus building in team meetings

Meetings are increasingly seen as sites where organizing and strategic change take place, but the role of specific discursive strategies and related linguistic-pragmatic and argumentative devices, employed by meeting chairs, is little understood. The purpose of this article is to address the range of behaviours of chairs in business organizations by comparing strategies employed by the same chief executive officer (CEO) in two key meeting genres: regular management team meetings and ‘away-days’. While drawing on research from organization studies on the role of leadership in meetings and studies of language in the workplace from (socio)linguistics and discourse studies, we abductively identified five salient discursive strategies which meeting chairs employ in driving decision making: (1) Bonding; (2) Encouraging; (3) Directing; (4) Modulating; and (5) Re/Committing. We investigate the leadership styles of the CEO in both meeting genres via a multi-level approach using empirical data drawn from meetings of a single management team in a multinational defence corporation. Our key findings are, first, that the chair of the meetings (and leading manager) influences the outcome of the meetings in both negative and positive ways, through the choice of discursive strategies. Second, it becomes apparent that the specific context and related meeting genre mediate participation and the ability of the chair to control interactions within the team. Third, a more hierarchical authoritarian or a more interpersonal egalitarian leadership style can be identified via specific combinations of these five discursive strategies. The article concludes that the egalitarian leadership style increases the likelihood of achieving a durable consensus. Several related avenues for research are outlined

Bringing 'place' back in: regional clusters, project governance, and new product outcomes

We examine new product outcomes in the context of regional clusters. Based on past research on marketing relationships, clusters, and social networks, we propose that the overall configuration of a cluster helps promote particular governance practices among its members. These practices have distinct value-creating properties, and when they are brought to bear on a specific new product development project within a cluster, they promote performance outcomes like product novelty and speed to market. Ultimately, these performance effects are reinforced by the configuration of the cluster itself. In general, we propose that new product outcomes follow from complex interactions between a cluster's macro-level configuration and its micro-level governance processes. More broadly, our framework points to the importance of geographical variables and to the role of “place” in marketing decision-making

Developing a core outcome set for fistulising perianal Crohn's disease

OBJECTIVE: Lack of standardised outcomes hampers effective analysis and comparison of data when comparing treatments in fistulising perianal Crohn's disease (pCD). Development of a standardised set of outcomes would resolve these issues. This study provides the definitive core outcome set (COS) for fistulising pCD. DESIGN: Candidate outcomes were generated through a systematic review and patient interviews. Consensus was established via a three-round Delphi process using a 9-point Likert scale based on how important they felt it was in determining treatment success culminating in a final consensus meeting. Stakeholders were recruited nationally and grouped into three panels (surgeons and radiologists, gastroenterologists and IBD specialist nurses, and patients). Participants received feedback fromtheir panel(in the second round) andall participants(in the third round) to allow refinement of their scores. RESULTS: A total of 295 outcomes were identified from systematic reviews and interviews that were categorised into 92 domains. 187 stakeholders (response rate 78.5%) prioritised 49 outcomes through a three-round Delphi study.The final consensus meeting of 41 experts and patients generated agreement on an eight domain COS. The COS comprised three patient-reported outcome domains (quality of life, incontinence and a combined score of patient priorities) and five clinician-reported outcome domains (perianal disease activity, development of new perianal abscess/sepsis, new/recurrent fistula, unplanned surgery and faecal diversion). CONCLUSION: A fistulising pCD COS has been produced by all key stakeholders. Application of the COS will reduce heterogeneity in outcome reporting, thereby facilitating more meaningful comparisons between treatments, data synthesis and ultimately benefit patient care

RISTRETTO: a pathfinder instrument for exoplanet atmosphere characterization

We introduce the RISTRETTO instrument for ESO VLT, an evolution from the original idea of connecting the SPHERE high-contrast facility to the ESPRESSO spectrograph (Lovis et al 2017). RISTRETTO is an independent, AO-fed spectrograph proposed as a visitor instrument, with the goal of detecting nearby exoplanets in reflected light for the first time. RISTRETTO aims at characterizing the atmospheres of Proxima b and several other exoplanets using the technique of high-contrast, high-resolution spectroscopy. The instrument is composed of two parts: a front-end to be installed on VLT UT4 providing a two-stage adaptive optics system using the AOF facility with coronagraphic capability and a 7-fiber IFU, and a diffraction-limited R=135,000 spectrograph in the 620-840 nm range. We present the requirements and the preliminary design of the instrument

Space, time, desire, and the Atlantic in three Spanish films of the 1920s

This article looks at the relationship between Hollywood and Spanish cinema of the 1920s. The central issue is the impact on the representation of space and time, both of Hollywood film structures, and of the elision between 'Spanish' and 'North American' space. The problem of boundaries and elision between these two spaces hinges on the definition of sexual and gender roles

Bullying escolar: um fenômeno multifacetado

School bullying can involve children in different ways, making them play different roles, among them, victims, bullies and bully-victims. The aim of this study was to describe how bullying occurs in high social vulnerability schools of Florianópolis metropolitan area and the roles played by students in this phenomenon. Overall, 409 children and adolescents from the 3rd to 5th grades and of two public elementary schools aged 8-16 years (X = 11.14) participated in this study. As a tool, the Olweus Questionnaire adapted to the Brazilian population was used. For data analysis, descriptive statistics and inferential statistics were applied by the Mann Whitney and Kruskal Wallis tests. As for results, 29.8% of boys and 40.5% of girls reported being victims; 32.3% of boys and 24.6% of girls reported being bullies. Victims were the most willing to help a colleague who is suffering from bullying (X = 1.54; p> 0.001), even if they do not know the victims (X = 1.57; p> 0.004). Bullies are differentiated from the group that does not participate (X = 1.73) and the group of victims (X = 2.34), being those who felt less alone (x = 1.47; p> 0.001). It was concluded that the information obtained in this study is indispensable in the search for alternatives to reduce school bullying. The strengthening of relations between school and students and a better preparation of teachers and school staff are extremely necessary to try to minimize the effects of risk factors to which these children are exposed and consequently violence at school.O bullying escolar pode envolver crianças de diferentes maneiras, fazendo com que essas assumam papéis diferenciados. Dentre estes, têm-se vítimas, agressores e vítimas-agressoras. O objetivo deste estudo foi descrever como ocorre o bullying em escolas de alta vulnerabilidade social da Grande Florianópolis e os papéis assumidos pelos alunos nesse fenômeno. Quanto ao método, participaram 409 crianças e adolescentes do terceiro ao quinto ano e da quarta à sexta série do ensino fundamental, de duas escolas públicas municipais, com idades entre 8 e 16 anos (X=11,14). Como instrumento, utilizou-se o Questionário de Olweus adaptado à população brasileira. Para a análise dos dados, empregaram-se a estatística descritiva e estatística inferencial por meio dos testes Mann Whitney e Kruskal Wallis. Quanto aos resultados, 29,8% dos meninos e 40,5% das meninas relataram terem sido vítimas; já 32,3% dos meninos e 24,6% das meninas relataram terem sido agressores. As vítimas foram as que se mostraram mais dispostas a ajudar como podem um colega que esteja sofrendo agressão (X=1,54; p>0,001), mesmo que não o conheçam (X=1,57; p>0,004). Em contrapartida, os agressores se diferenciaram do grupo que não participa (X=1,73) e do grupo das vítimas (X=2,34), sendo aqueles que menos se sentiram sozinhos (X=1,47; p>0,001). Concluiu-se que as informações obtidas neste estudo são indispensáveis na busca de alternativas para redução do bullying escolar. O fortalecimento das relações entre escola e alunos, e um maior preparo dos professores e funcionários são extremamente necessários para tentar minimizar os efeitos dos fatores de risco a que essas crianças estão expostas e consequentemente a violência na escola.CAPES - Proc. nº 0815/14-4CIEC - Centro de Investigação em Estudos da Criança, IE, UMinho (UI 317 da FCT)Projeto Estratégico da FCT: UID/CED/00317/201