Precise subtyping for synchronous multiparty sessions

The notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages.The soundness and the completeness, Slim together referred to as the preciseness of subtyping, can be considered from two different points of view: operational and denotational.The fo

read more



Hsf transcription factor gene family in peanut (Arachis hypogaea L.): genome-wide characterization and expression analysis under drought and salt stresses

Heat shock transcription factors (Hsfs) play important roles in plant developmental regulations and various stress responses.In present study, 46 Hsf genes in peanut (AhHsf) were identified and analyzed.The 46 AhHsf genes were classed into three groups Slim (A, B, and C) and 14 subgroups (A1-A9, B1-B4, and C1) together with their Arabidopsis homolo

read more

Macroprudential Policy and Credit Supply

Summary In this paper we analyze financial crises and the interactions of macroprudential policy and credit.Financial crises are recurrent systemic Air Purifier phenomena, often triggering deep and long-lasting recessions with large reductions in aggregate welfare, output and employment Importantly for policy, systemic financial crises are typicall

read more