Lambda Calculus and Intuitionistic Linear Logic

The introduction of Linear Logic extends the Curry-Howard Isomorphism to intensional aspects of the typed functional programming. In particular, every formula of Linear Logic tells whether the term it is a type for, can be either erased/duplicated or not, during a computation. So, Linear Logic can be seen as a model of a computational environment with an explicit control about the management of resources.This paper introduces a typed functional language ! and a categorical model for it.The terms of ! encode a version of natural deduction for Intuitionistic Linear Logic such that linear and non linear assumptions are managed multiplicatively and additively, respectively. Correspondingly, the terms of ! are built out of two disjoint sets of variables. Moreover, the -abstractions of ! bind variables and patterns. The use of two different kinds of variables and the patterns allow a very compact definition of the one-step operational semantics of !, unlike all other extensions of Curry-Howard Isomorphism to Intuitionistic Linear Logic. The language ! is Church-Rosser and enjoys both Strong Normalizability and Subject Reduction.The categorical model induces operational equivalences like, for example, a set of extensional equivalences.The paper presents also an untyped version of ! and a type assignment for it, using formulas of Linear Logic as types. The type assignment inherits from ! all the good computational properties and enjoys also the Principal-Type Property.     

Comparing one-step m-estimators of location corresponding to two independent groups

Experience with real data indicates that psychometric measures often have heavy-tailed distributions. This is known to be a serious problem when comparing the means of two independent groups because heavy-tailed distributions can have a serious effect on power. Another problem that is common in some areas is outliers. This paper suggests an approach to these problems based on the one-step M-estimator of location. Simulations indicate that the new procedure provides very good control over the probability of a Type I error even when distributions are skewed, have different shapes, and the variances are unequal. Moreover, the new procedure has considerably more power than Welch's method when distributions have heavy tails, and it compares well to Yuen's method for comparing trimmed means. Wilcox's median procedure has about the same power as the proposed procedure, but Wilcox's method is based on a statistic that has a finite sample breakdown point of only 1/n, wheren is the sample size. Comments on other methods for comparing groups are also included.     

Yoked variable-ratio and variable-interval responding in pigeons

Pigeons' key pecks were maintained by variable-ratio or variable-interval schedules of food reinforcement. For pairs of pigeons in one group, variable-ratio reinforcement was arranged for one pigeon's pecks; for the second pigeon, reinforcement was arranged according to a variable-interval schedule yoked to the interreinforcement times produced by the first pigeon. For pairs of pigeons in another group, variable-interval reinforcement was arranged for one pigeon's pecks; for the second pigeon, reinforcement was arranged according to a variable-ratio schedule yoked to the interreinforcement responses produced by the first pigeon. For each pair, the yoking procedure was maintained for four or five consecutive sessions of 50 reinforcements each. In more than three-quarters of the pairs, variable-ratio response rates were higher than variable-interval rates within two sessions; in all cases, the rate difference developed within four sessions.     

Treating the “Wise Baby”

In a previous examination of Ferenczis concept of the Wise Baby (1996), I had noted both its applications and its limitations in the analytic treatment of an unusually intelligent adult. Ferenczis concepts of the origin of intellect in trauma and of the wise baby have often left the indistinct impression of being interrelated phenomena. In this paper, I regard as arguable the notion that very high intelligence is pathological when it is precocious. This return visit to the territory of the wise baby extends Ferenczis ideas about the origin and use of the intellect to include a consideration of what may constitute effective treatment for those who suffer from giftedness.Judith E. Vida, M.D. edits On the Arts for this journal. She is a Founding Member and Faculty of the Institute of Contemporary Psychoanalysis in Los Angeles, CA, a member of both American and International Psychoanalytic Associations, and of the Sándor Ferenczi Society of Budapest. Her private practice is in Pasadena, CA.Address correspondence to Judith E. Vida, 301 S. Fair Oaks Ave., Suite 406A, Pasadena, CA 91105, USA; e-mail: jvida@spence.net     

Mel Gibson’s <Emphasis Type="Italic">Passion</Emphasis> and the Many Uses of Christ’s Suffering

Many Christians resonated with Mel Gibsons film, The Passion of the Christ. The films sympathetic portrayal of Pontius Pilate reinforces the sense of victimization Americans have experienced since 9/11, however, and obscures the real meaning of Christs suffering.Marian Ronan is Assistant Professor of Contemporary Theology and Religion at the American Baptist Seminary of the West, a member seminary of the Graduate Theological Union in Berkeley, CA.     

Event justice and social entity justice: A cross-lagged analysis

IntroductionThe life of organizations is punctuated by a wide range of managerial decisions (e.g., hiring and selection procedure, performance appraisal, new working methods). Facing such events, employees evaluate the fairness of the situation experienced (event justice). They can also examine the fairness demonstrated by a specific entity, such as the organization or the supervisor (social entity justice). So far, little is known about how justice judgments about events vs. entities are related to each other, especially in a context of organizational change.ObjectiveBuilding on decision-making and organizational justice literature, we investigate the directionality of the causal relationships between event justice and social entity justice within a context of organizational change in a Belgian company (a significant reorganization at the level of the organization chart resulting in different changes for employees).MethodsWe used two samples (team leaders and executives) and realized a cross-lagged panel analysis with two measurement times.ResultsThe study shows that, in both samples, employees’ fairness perceptions about their organization (social entity justice) influence their interpretation of the fairness of subsequent events involving the organization (event justice).ConclusionBuilding and fostering a climate of justice is therefore of primary importance to organizations, since global fairness perceptions about the organization may help employees to perceive a specific event, such as an organizational change, as being fair.     

L’internalisation des stéréotypes chez les « petits » fonctionnaires : impact du contact avec le public et du prestige perçu

This paper focuses on the internalization of stereotypes among French office workers in the lower category (category C). More precisely, we investigated the impact of two independent factors on this internalization of stereotypes: the perceived external prestige and public contact. Results obtained using questionnaires completed by 175 office workers have mainly showed that, in accordance with previous studies, the external prestige perceived influence significantly the internalization of stereotypes. But, contrary to previous studies, the frequency of contacts with the public has no impact on the internalization of stereotypes in our sample. Our results invite furter work on this population of office employees who is, paradoxically, increasingly confronted with stereotypes but subject of very few studies.     

Understanding the employee job satisfaction depending on manager's fair treatment: The role of cynicism towards the organization and co-worker support

IntroductionThe present study claims that perceived interactional justice can be a significant antecedent of job satisfaction. In this relationship, cynicism towards the organization has a mediating role on the impact of perceived interactional justice on employees’ job satisfaction. In addition, co-worker support has a moderator role on the impact of employees’ cynic attitudes and behavior on their job satisfaction.ObjectiveThis study discusses the above mentioned theoretical research model and tries to clarify the relationship among present concepts.MethodTo this end, a cross-sectional research study has been performed with the participation of 1606 employees from various banks (public and private) in Istanbul/Turkey during the coronovirus pandemic.ResultsAccording to the findings of the research, perceived interactional justice has significant positive impacts on employees’ job satisfaction. In addition, the results indicated that cynicism towards the organization has significant mediating role between perceived interactional justice and job satisfaction. Subsequently, the findings confirmed that co-worker support has significant moderating role in the relationship between cynicism towards the organization and job satisfaction.ConclusionThis study helps to understand and evaluate the factors influencing attitudes towards work at the organizational and relational levels. All study variables and the possible relationship among these, are discussed in the literature review. Finally, the implications of study for both the individual and the organization are presented in the conclusion and discussion section.     

Conséquences et corrélats associés au soutien de l’autonomie dans divers domaines de vie

Self-determination theory (0160 and 0170) suggests that autonomy-supportive environments, where one's perspective is considered, feelings are recognized, meaningful informations are given, and opportunities for choice are provided, promote optimal functioning. Many studies show that autonomy support leads to positive affective, cognitive, and behavioral consequences. However, this body of research is little known because studies are scattered throughout various research fields and no review of the overall positive impact of autonomy support in various life domains is available. This literature review presents studies on this interpersonal style in five life domains.     

Le bien-être psychologique au travail des professionnels du médical et du paramédical : rôles des échanges leader-membres,du soutien organisationnel perçu,du sentiment d’efficacité et médiations par la satisfaction des besoins psychologiques

This research aims to study the relationships between the perceived organizational support, the leader-member exchange (LMX), and the feeling of general self-efficacy with the psychological well being at work (PWBW) in the medical and para-medical environment. We also tested the indirect effects of satisfaction psychological of autonomy, competence and affiliation in the relationship between these predictors and PWBW. A total of 175 participants from the medical and para-medical sectors completed a questionnaire. The results showed that all predictors positively correlated with PWBW. Mediation analyzes showed that need satisfaction had a mediating effect on the relationships between inductors and PWBW. Finally, leader-member exchanges (LMX) and general self-efficacy promoted PWBW, and the satisfaction of the three psychological need systematically played a mediating role.