TY  - RPRT
TI  - Beyond Monads and Biproducts: A Uniform Interpretation of Parallelism in Intuitionistic Logic
AU  - Alejandro Díaz-Caro
AU  - Octavio Malherbe
PY  - 2025
DO  - 10.4230/lipics.fsttcs.2025.28
UR  - https://arxiv.org/abs/2408.16102
ID  - 2408.16102
ER  -