Rivas, Exequiel

1. The Next 700 Relational Program Logics
   2019/07/11 by Kenji Maillard, Maillard, Kenji, Cătălin Hriţcu +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, Maillard, Kenji, Danel Ahman +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 Rivas, Exequiel, Jaskelioff, Mauro · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)