Some Varieties of Equational Logic (Extended Abstract)

... been a major theme of Joseph Goguen’s research, perhaps even the major theme. One strand of this work concerns algebraic datatypes. Recently there has been some interest in what one may call algebraic computation types. As we will show, these are also given by equational theories, if one only understands the notion of equational logic in somewhat broader senses than usual. One moral of our work is that, suitably considered, equational logic is not tied to the usual first-order syntax of terms and equations. Standard equational logic has proved a useful tool in several branches of computer science, see, for example, the RTA conference series [9] and textbooks, such as [1]. Perhaps the possibilities for richer varieties of equational logic discussed here will lead to further applications. We begin with an explanation of computation types. Starting around 1989, Eugenio Moggi introduced the idea of monadic notions of computation [11, 12

Handlers of Algebraic Effects

Abstract. We present an algebraic treatment of exception handlers and, more generally, introduce handlers for other computational effects representable by an algebraic theory. These include nondeterminism, interactive input/output, concurrency, state, time, and their combinations; in all cases the computation monad is the free-model monad of the theory. Each such handler corresponds to a model of the theory for the effects at hand. The handling construct, which applies a handler to a computation, is based on the one introduced by Benton and Kennedy, and is interpreted using the homomorphism induced by the universal property of the free model. This general construct can be used to describe previously unrelated concepts from both theory and practice.

Para-infectious brain injury in COVID-19 persists at follow-up despite attenuated cytokine and autoantibody responses

To understand neurological complications of COVID-19 better both acutely and for recovery, we measured markers of brain injury, inflammatory mediators, and autoantibodies in 203 hospitalised participants; 111 with acute sera (1–11 days post-admission) and 92 convalescent sera (56 with COVID-19-associated neurological diagnoses). Here we show that compared to 60 uninfected controls, tTau, GFAP, NfL, and UCH-L1 are increased with COVID-19 infection at acute timepoints and NfL and GFAP are significantly higher in participants with neurological complications. Inflammatory mediators (IL-6, IL-12p40, HGF, M-CSF, CCL2, and IL-1RA) are associated with both altered consciousness and markers of brain injury. Autoantibodies are more common in COVID-19 than controls and some (including against MYL7, UCH-L1, and GRIN3B) are more frequent with altered consciousness. Additionally, convalescent participants with neurological complications show elevated GFAP and NfL, unrelated to attenuated systemic inflammatory mediators and to autoantibody responses. Overall, neurological complications of COVID-19 are associated with evidence of neuroglial injury in both acute and late disease and these correlate with dysregulated innate and adaptive immune responses acutely

Large-scale phenotyping of patients with long COVID post-hospitalization reveals mechanistic subtypes of disease

One in ten severe acute respiratory syndrome coronavirus 2 infections result in prolonged symptoms termed long coronavirus disease (COVID), yet disease phenotypes and mechanisms are poorly understood1. Here we profiled 368 plasma proteins in 657 participants ≥3 months following hospitalization. Of these, 426 had at least one long COVID symptom and 233 had fully recovered. Elevated markers of myeloid inflammation and complement activation were associated with long COVID. IL-1R2, MATN2 and COLEC12 were associated with cardiorespiratory symptoms, fatigue and anxiety/depression; MATN2, CSF3 and C1QA were elevated in gastrointestinal symptoms and C1QA was elevated in cognitive impairment. Additional markers of alterations in nerve tissue repair (SPON-1 and NFASC) were elevated in those with cognitive impairment and SCG3, suggestive of brain–gut axis disturbance, was elevated in gastrointestinal symptoms. Severe acute respiratory syndrome coronavirus 2-specific immunoglobulin G (IgG) was persistently elevated in some individuals with long COVID, but virus was not detected in sputum. Analysis of inflammatory markers in nasal fluids showed no association with symptoms. Our study aimed to understand inflammatory processes that underlie long COVID and was not designed for biomarker discovery. Our findings suggest that specific inflammatory pathways related to tissue damage are implicated in subtypes of long COVID, which might be targeted in future therapeutic trials

SARS-CoV-2-specific nasal IgA wanes 9 months after hospitalisation with COVID-19 and is not induced by subsequent vaccination

BACKGROUND: Most studies of immunity to SARS-CoV-2 focus on circulating antibody, giving limited insights into mucosal defences that prevent viral replication and onward transmission. We studied nasal and plasma antibody responses one year after hospitalisation for COVID-19, including a period when SARS-CoV-2 vaccination was introduced. METHODS: In this follow up study, plasma and nasosorption samples were prospectively collected from 446 adults hospitalised for COVID-19 between February 2020 and March 2021 via the ISARIC4C and PHOSP-COVID consortia. IgA and IgG responses to NP and S of ancestral SARS-CoV-2, Delta and Omicron (BA.1) variants were measured by electrochemiluminescence and compared with plasma neutralisation data. FINDINGS: Strong and consistent nasal anti-NP and anti-S IgA responses were demonstrated, which remained elevated for nine months (p < 0.0001). Nasal and plasma anti-S IgG remained elevated for at least 12 months (p < 0.0001) with plasma neutralising titres that were raised against all variants compared to controls (p < 0.0001). Of 323 with complete data, 307 were vaccinated between 6 and 12 months; coinciding with rises in nasal and plasma IgA and IgG anti-S titres for all SARS-CoV-2 variants, although the change in nasal IgA was minimal (1.46-fold change after 10 months, p = 0.011) and the median remained below the positive threshold determined by pre-pandemic controls. Samples 12 months after admission showed no association between nasal IgA and plasma IgG anti-S responses (R = 0.05, p = 0.18), indicating that nasal IgA responses are distinct from those in plasma and minimally boosted by vaccination. INTERPRETATION: The decline in nasal IgA responses 9 months after infection and minimal impact of subsequent vaccination may explain the lack of long-lasting nasal defence against reinfection and the limited effects of vaccination on transmission. These findings highlight the need to develop vaccines that enhance nasal immunity. FUNDING: This study has been supported by ISARIC4C and PHOSP-COVID consortia. ISARIC4C is supported by grants from the National Institute for Health and Care Research and the Medical Research Council. Liverpool Experimental Cancer Medicine Centre provided infrastructure support for this research. The PHOSP-COVD study is jointly funded by UK Research and Innovation and National Institute of Health and Care Research. The funders were not involved in the study design, interpretation of data or the writing of this manuscript

Immune history shapes specificity of pandemic H1N1 influenza antibody responses

Human antibody responses against the 2009 pandemic H1N1 (pH1N1) virus are predominantly directed against conserved epitopes in the stalk and receptor-binding domain of the hemagglutinin (HA) protein. This is in stark contrast to pH1N1 antibody responses generated in ferrets, which are focused on the variable Sa antigenic site of HA. Here, we show that most humans born between 1983 and 1996 elicited pH1N1 antibody responses that are directed against an epitope near the HA receptor-binding domain. Importantly, most individuals born before 1983 or after 1996 did not elicit pH1N1 antibodies to this HA epitope. The HAs of most seasonal H1N1 (sH1N1) viruses that circulated between 1983 and 1996 possess acritical K133 amino acid in this HA epitope, whereas this amino acid is either mutated ordeleted in most sH1N1 viruses circulating before 1983 or after 1996. We sequentially infected ferrets with a 1991 sH1N1 virus and then a pH1N1 virus. Sera isolated from these animals were directed against the HA epitope involving amino acid K133. These data suggest that the specificity of pH1N1 antibody responses can be shifted to epitopes near the HA receptor-binding domain after sequential infections with sH1N1 and pH1N1 viruses that share homology in this region