Damien Pous (LIG)

Identifiers

• name variant Damien Pous (LIG) 0.60 · backfill

Papers (2)

1. Innocent strategies as presheaves and interactive equivalences for CCS (expanded version) cs.LO · 2011 · author #2
2. Tactics for Reasoning modulo AC in Coq cs.MS · 2011 · author #2

Mentions

• 1109.4356 #2 · backfill · confidence 0.70 Damien Pous (LIG)
• 1106.4448 #2 · backfill · confidence 0.70 Damien Pous (LIG)

Frequent Coauthors

• Thomas Braibant (LIG) 1 shared papers
• Tom Hirschowitz (LAMA) 1 shared papers