pith. sign in

Jean-Claude Reynaud (RC)

Identifiers

  • name variant Jean-Claude Reynaud (RC) 0.60 · backfill

Papers (10)

  1. Hilbert-Post completeness for the state and the exception effects cs.LO · 2015 · author #5
  2. Breaking a monad-comonad symmetry between computational effects cs.LO · 2014 · author #3
  3. Certified proofs in programs involving exceptions cs.LO · 2013 · author #4
  4. Patterns for computational effects arising from a monad or a comonad cs.LO · 2013 · author #3
  5. Adjunctions for exceptions cs.LO · 2012 · author #4
  6. Decorated proofs for computational effects: Exceptions cs.LO · 2012 · author #4
  7. A duality between exceptions and states cs.LO · 2011 · author #4
  8. States and exceptions considered as dual effects cs.LO · 2010 · author #4
  9. Cartesian effect categories are Freyd-categories cs.LO · 2009 · author #3
  10. Sequential products in effect categories math.CT · 2007 · author #3

Mentions

  • 1503.00948 #5 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 1402.1051 #3 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 1310.2338 #4 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 1310.0605 #3 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 1207.1255 #4 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 1203.2900 #4 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 1112.2394 #4 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 1001.1662 #4 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 0903.3311 #3 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)
  • 0707.1432 #3 · backfill · confidence 0.70 Jean-Claude Reynaud (RC)

Frequent Coauthors