Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic

Alejandro Díaz-Caro, Octavio Malherbe

Traditional approaches to modelling parallelism and algebraic structure in lambda calculi often rely on monads$\unicode{x2013}$as in Moggi's framework$\unicode{x2013}$or on rich ca…