Dioids for Computational Effects

Ezequiel Postan, Exequiel Rivas, Mauro Jaskelioff. Dioids for Computational Effects. Electronic Notes in Theoretical Computer Science, 339:111-134, 2018. [doi]