On Linear Information Systems

Scott's information systems provide a categorically equivalent, intensional description of Scott domains and continuous functions. Following a well established pattern in denotational semantics, we define a linear version of information systems, providing a model of intuitionistic linear logic (a new-Seely category), with a "set-theoretic" interpretation of exponentials that recovers Scott continuous functions via the co-Kleisli construction. From a domain theoretic point of view, linear information systems are equivalent to prime algebraic Scott domains, which in turn generalize prime algebraic lattices, already known to provide a model of classical linear logic

Predicate Transformers and Linear Logic, yet another denotational model

International audienceIn the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this structure to make predicate transformers into a de notational model of full linear logic: all the logical constructions have a natural interpretation in terms of predicate transformers (i.e. in terms of specifications). We then interpret proofs of a formula by a safety property for the corresponding specification

The Isospin Distribution of Fragments in Reactions 96Ru+96Ru, 96Ru+96Zr, 96Zr+96Ru, and 96Zr+96Zr at Beam Energy 400 AMeV

The isospin distribution of particles and fragments in collisions 96Ru+96Ru, 96Ru+96Zr, 96Zr+96Ru, and 96Zr+96Zr at beam energy 400 AMeV is studied with isospin dependent QMD model. We find that the rapidity distribution of differential neutron-proton counting in neutron rich nucleus-nucleus collisions at intermediate energies is sensitive to the isospin dependent part of nuclear potential. The study of the N/Z ratio of nucleons, light charged particles (LCP) and intermediate mass fragments (IMF) shows that the isospin dependent part of nuclear potential drives IMF to be more isospin symmetric and emitted nucleons to be more neutron rich. From the study of the time evolution of the isospin distribution in emitted nucleons, LCP and IMF we find that neutrons diffuse much faster than protons at beginning and the final isospin distribution is a result of dynamical balance of symmetry potential and Coulomb force under the charge conservation.Comment: 10 pages, 5 figure

The stack calculus

We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry-Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. Its type system enforces strong normalization of expressions and it is a sound and complete system for full implicational Classical Logic. We give a very simple denotational semantics which allows easy calculations of the interpretation of expressions.Comment: In Proceedings LSFA 2012, arXiv:1303.713

Cattle-related trauma: a 10-year retrospective cohort study of patients admitted to a single tertiary trauma centre in Switzerland.

AIMS OF THE STUDY Switzerland is traditionally an agricultural country with more than 50,000 farms and 1.5 million registered cows. However, contemporary literature on cattle-related trauma in Switzerland remain limited. The purpose of this study was to examine injury patterns and outcomes of patients who presented to a tertiary trauma centre in Switzerland following cattle-related trauma. METHODS Retrospective single-centre study over a 10-year period (2012-2021) including all patients experiencing cattle-related trauma. From retrieved charts demographics, injury data, and outcomes were collected and subsequently analysed. RESULTS A total of 94 patients with cattle-related injuries were identified. The median age was 52 years (interquartile range [IQR] 37-63) and 75% were male. Cattle-related injuries were most frequent among farmers (73%) and were most often caused by cows (86%), followed by bulls (10%). Blunt trauma (89%) was the leading mechanism of injury including headbutt (36%), kick (35%), physical contact (20%) and trampling injury (12%). Penetrating injury occurred in 11%, all caused by headbutt. Contusions (82%) and lacerations (45%) were the leading injuries, followed by face fractures (28%), closed head trauma (19%) and chest injuries (17%). Overall, 10% of all patients had a head abbreviated injury scale (AIS) score of ≥3 and 8% had a chest AIS of ≥3. The hospital admission rate was 49% for cow-related injury vs 90% for bull-related injuries, p = 0.023. Overall, in-hospital mortality was 3% and the median length of stay was 4.5 days (IQR 3-8) among patients admitted to the hospital. CONCLUSIONS Cattle-related injuries in Switzerland mainly affect farmers and are associated with considerable morbidity, especially when caused by bulls. Facial fractures, head injuries and chest injuries are common, and the latter two in particular can be severe. The results of the present study can be used for the implementation of data-driven prevention measures for the safe handling of cattle in Switzerland