Nominal Matching and Alpha-Equivalence.

Christophe Calvs, Maribel Fernndez

Browse the full WoLLIC paper archive.