Exequiel Rivas

1. The Next 700 Relational Program Logics
   2019/07/11 by Kenji Maillard, Cătălin Hriţcu, Maillard, Kenji +5 · 4 citations
   Computer Science · #Security and Verification in Computing #Logic, programming, and type systems #Distributed systems and fault tolerance
2. Dijkstra Monads for All
   2019/03/04 by Kenji Maillard, Danel Ahman, Maillard, Kenji +11 · 1 voice · 2 citations
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
3. Notions of Computation as Monoids
   2014/05/29 by Exequiel Rivas, Rivas, Exequiel, Mauro Jaskelioff +1 · 1 citation
   Computer Science · Mathematics · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL #math.CT