Sciweavers

ICALP
2009
Springer
14 years 11 months ago
On Constructor Rewrite Systems and the Lambda-Calculus
Ugo Dal Lago, Simone Martini