Mauro Jaskelioff

Identifiers

• name variant Mauro Jaskelioff 0.60 · backfill

Papers (3)

1. Notions of Computation as Monoids cs.LO · 2014 · author #2
2. A Representation Theorem for Second-Order Functionals cs.PL · 2014 · author #1
3. Confluence via strong normalisation in an algebraic \lambda-calculus with rewriting cs.LO · 2011 · author #3

Mentions

• 1406.4823 #2 · backfill · confidence 0.70 Mauro Jaskelioff
• 1402.1699 #1 · backfill · confidence 0.70 Mauro Jaskelioff
• 1102.0749 #3 · backfill · confidence 0.70 Mauro Jaskelioff

Frequent Coauthors

• Alejandro D\'iaz-Caro 1 shared papers
• Exequiel Rivas 1 shared papers
• Pablo Buiras 1 shared papers
• Russell O'Connor 1 shared papers