This paper introduces Hypersequent GV (HGV), a modular and extensible core calculus for functional programming with session types that enjoys deadlock freedom, confluence, strong normalisation. HGV exploits hyper-environments, which are collections of type environments, to ensure structural congruence is preserving. As consequence we obtain an operational correspondence between HCP -- process b...

Background: Individuals with bipolar disorders (BD) are 5x more likely to be arrested, jailed, or convicted of a criminal offense than those in the general population. BD, turn, increases risk for adverse outcomes prisoners post-release, including mood instability, suicide attempts, substance use relapse, and repeat incarceration. Despite these negative sequelae, up 70% BD do not receive mental...