On the confluence of lambda-calculus with conditional rewriting
Frédéric Blanqui, Claude Kirchner, Colin RibaVolume:
411
Année:
2010
Langue:
english
Pages:
27
DOI:
10.1016/j.tcs.2009.07.058
Fichier:
PDF, 741 KB
english, 2010