pith. sign in

Dominique Duval (LJK)

Identifiers

  • name variant Dominique Duval (LJK) 0.60 · backfill

Papers (20)

  1. Logical rules as fractions and logics as sketches cs.LO · 2018 · author #1
  2. Hilbert-Post completeness for the state and the exception effects cs.LO · 2015 · author #2
  3. Breaking a monad-comonad symmetry between computational effects cs.LO · 2014 · author #2
  4. Certified proofs in programs involving exceptions cs.LO · 2013 · author #2
  5. Formal verification in Coq of program properties involving the global state effect cs.LO · 2013 · author #2
  6. Patterns for computational effects arising from a monad or a comonad cs.LO · 2013 · author #2
  7. Scalability using effects cs.LO · 2013 · author #1
  8. Adjunctions for exceptions cs.LO · 2012 · author #2
  9. Decorated proofs for computational effects: Exceptions cs.LO · 2012 · author #2
  10. A duality between exceptions and states cs.LO · 2011 · author #2
  11. Deduction as Reduction cs.LO · 2010 · author #1
  12. States and exceptions considered as dual effects cs.LO · 2010 · author #2
  13. Graph rewriting with polarized cloning cs.LO · 2009 · author #1
  14. How to combine diagrammatic logics cs.LO · 2009 · author #1
  15. A parameterization process, functorially cs.LO · 2009 · author #2
  16. Diagrammatic logic applied to a parameterization process cs.LO · 2009 · author #2
  17. A parameterization process as a categorical construction cs.LO · 2009 · author #1
  18. Cartesian effect categories are Freyd-categories cs.LO · 2009 · author #2
  19. Diagrammatic Inference cs.LO · 2007 · author #1
  20. Sequential products in effect categories math.CT · 2007 · author #2

Mentions

  • 1503.00948 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1402.1051 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1310.2338 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1310.0794 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1310.0605 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1307.0489 #1 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1207.1255 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1203.2900 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1112.2394 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1011.1330 #1 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 1001.1662 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0911.3786 #1 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0911.3005 #1 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0908.4491 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0908.3737 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0908.3634 #1 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0903.3311 #2 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0710.1208 #1 · backfill · confidence 0.70 Dominique Duval (LJK)
  • 0707.1432 #2 · backfill · confidence 0.70 Dominique Duval (LJK)

Frequent Coauthors