| |
| 2008 | ||
|---|---|---|
| 5 | EE | Bruno Guillaume, Guy Perrier: Interaction Grammars CoRR abs/0809.0494: (2008) |
| 2004 | ||
| 4 | EE | Philippe de Groote, Bruno Guillaume, Sylvain Salvati: Vector Addition Tree Automata. LICS 2004: 64-73 |
| 2003 | ||
| 3 | EE | René David, Bruno Guillaume: Strong Normalization of the Typed gammaws-Calculus. CSL 2003: 155-168 |
| 2001 | ||
| 2 | René David, Bruno Guillaume: A lambda-calculus with explicit weakening and explicit substitution. Mathematical Structures in Computer Science 11(1): 169-206 (2001) | |
| 2000 | ||
| 1 | Bruno Guillaume: The lambda-se-calculus does not preserve strong normalisation. J. Funct. Program. 10(4): 321-325 (2000) | |
| 1 | René David | [2] [3] |
| 2 | Philippe de Groote | [4] |
| 3 | Guy Perrier | [5] |
| 4 | Sylvain Salvati | [4] |