This article presents results from qualitative research on children’s dominant gender discourses in kindergarten and the influence of socio-pedagogical aspects culture, transmitted via teachers’ personal epistemologies, construction identities. The main questions guiding our were: What stories are narrated a group, under which influences do these become established as norms? Our understanding i...

Abstract Background The health harms caused by sex-normalising and unnecessary irreversible medical interventions on intersex infants children can include chronic pain, a need for repeat surgeries, damage to sexuality, serious mental problems, sterility. However, access appropriate healthcare is needed - occasionally lifesaving treatments in minors, but more often reparative treatment or condit...

This analysis of 229 editorials and opinion pieces published in science medical journals explores the affective discourses used to characterise so-called predatory publishing. Most (84%, n = 193) deploy one or more three related categories metaphorical figurative language (fear, fakery exploitation) strengthen their rhetorical case. paper examines deployment, co-occurrence amplification this ac...

This article traces a normalising and domesticating process in the use of digital misinformation disinformation as part political campaigning Europe. Specifically, analysis highlights innovations associated with influence engineering techniques pioneered by far-right groups agencies linked to Kremlin, showing how there are areas alignment differentiation agendas interests these two groups. Thei...

In this paper, we introduce a strong form of eta reduction called etabang that we use to construct a confluent and normalising infinitary lambda calculus, of which the normal forms correspond to Barendregt’s infinite eta Böhm trees. This new infinitary perspective on the set of infinite eta Böhm trees allows us to prove that the set of infinite eta Böhm trees is a model of the lambda calculus. ...

We study a term assignment for an intuitonistic fragment of the Logic of Proofs (LP). LP is a refinement of modal logic S4 in which the assertion 2A is replaced by [[s]]A whose intended reading is “s is a proof of A”. We first introduce a natural deduction presentation based on hypothetical judgements and then its term assignment, which yields a confluent and strongly normalising typed lambda c...