15 citations · 17 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
Notions of Computation as Monoids
Exequiel Rivas, Mauro Jaskelioff
There are different notions of computation, the most popular being monads, applicative functors, and arrows. In this article we show that these three notions can be seen as monoids…
cs.LO2011★ 1 cited
Confluence via strong normalisation in an algebraic λ-calculus with rewriting
Pablo Buiras, Alejandro Díaz-Caro, Mauro Jaskelioff
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axio…