Dominique Duval (LJK

Identifiers

• name variant Dominique Duval (LJK 0.60 · backfill

Papers (1)

1. Decorated proofs for computational effects: States cs.PL · 2011 · author #4

Mentions

• 1112.2396 #4 · backfill · confidence 0.70 Dominique Duval (LJK

Frequent Coauthors

• France) 1 shared papers
• Jean-Claude Reynaud (LJK 1 shared papers
• Jean-Guillaume Dumas (LJK 1 shared papers
• Laurent Fousse (LJK 1 shared papers
• Universit\'e de Grenoble 1 shared papers