Jean-Claude Reynaud (LJK

Identifiers

• name variant Jean-Claude Reynaud (LJK 0.60 · backfill

Papers (1)

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

Mentions

• 1112.2396 #10 · backfill · confidence 0.70 Jean-Claude Reynaud (LJK

Frequent Coauthors

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