@misc{indiciae2a204b6104f4, title = {Quantalic lambda-calculus and additive disjunction}, author = {Renato Neves and Bruna Salgado}, year = {2026}, url = {https://arxiv.org/abs/2608.06120}, note = {Source identifier: 2608.06120} }