On Constructor Rewrite Systems and the Lambda-Calculus

Ugo Dal Lago Simone Martini On Constructor Rewrite Systems and the Lambda-Calculus http://arxiv.org/abs/0904.4120 2009 CoRR abs/0904.4120 db/journals/corr/corr0904.html#abs-0904-4120