Bruno Guillaume

	2009
6		Jonathan Marchand, Bruno Guillaume, Guy Perrier: Analyse en dépendances à l'aide des grammaires d'interaction CoRR abs/0909.3444: (2009)
	2008
5		Bruno Guillaume, Guy Perrier: Interaction Grammars CoRR abs/0809.0494: (2008)
	2004
4		Philippe de Groote, Bruno Guillaume, Sylvain Salvati: Vector Addition Tree Automata. LICS 2004: 64-73
	2003
3		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)

Coauthor Index

1	René David	[2] [3]
2	Philippe de Groote	[4]
3	Jonathan Marchand	[6]
4	Guy Perrier	[5] [6]
5	Sylvain Salvati	[4]

Colors in the list of coauthors