Quantalic lambda-calculus and additive disjunction

Renato Neves, Bruna Salgado

Motivated by the need to reason about case statements quantitatively, we extend quantalic linear lambda-calculus with additive disjunction. We show that the resulting equational sy…