Damien Pous (CNRS

Identifiers

• name variant Damien Pous (CNRS 0.60 · backfill

Papers (2)

1. Innocent strategies as presheaves and interactive equivalences for CCS cs.LO · 2011 · author #3
2. Deciding Kleene Algebras in Coq cs.LO · 2011 · author #4

Mentions

• 1108.0463 #3 · backfill · confidence 0.70 Damien Pous (CNRS
• 1105.4537 #4 · backfill · confidence 0.70 Damien Pous (CNRS

Frequent Coauthors

• Chambery) 1 shared papers
• Grenoble) 1 shared papers
• LIG 1 shared papers
• Thomas Braibant (Universit\'e de Grenoble 1 shared papers
• Tom Hirschowitz (CNRS 1 shared papers
• UMR 5217) 1 shared papers