Christophe Calvès

	2008
3		Christophe Calvès, Maribel Fernández: Nominal Matching and Alpha-Equivalence. WoLLIC 2008: 111-122
2		Christophe Calvès, Maribel Fernández: A polynomial nominal unification algorithm. Theor. Comput. Sci. 403(2-3): 285-306 (2008)
	2007
1		Christophe Calvès, Maribel Fernández: Implementing Nominal Unification. Electr. Notes Theor. Comput. Sci. 176(1): 25-37 (2007)

Coauthor Index

1

Maribel Fernández

[1] [2] [3]