Aur\'elien Pardon (LIP)
Identifiers
- name variant Aur\'elien Pardon (LIP) 0.60 · backfill
Papers (4)
- Encapsulation and Dynamic Modularity in the Pi-Calculus cs.PL · 2009 · author #2
- Variable binding, symmetric monoidal closed theories, and bigraphs cs.LO · 2009 · author #3
- Graphical Presentations of Symmetric Monoidal Closed Theories cs.LO · 2008 · author #3
- Binding bigraphs as symmetric monoidal closed theories cs.LO · 2008 · author #2
Mentions
Frequent Coauthors
- Tom Hirschowitz (LAMA) 4 shared papers
- Richard Garner 2 shared papers
- Damien Pous (INRIA Rh\^one-Alpes / LIG Laboratoire d'Informatique de Grenoble) 1 shared papers
- Daniel Hirschkoff (LIP) 1 shared papers
- Samuel Hym (LIFL) 1 shared papers