| 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) |
