Sciweavers

117
Voted
ICALP
2009
Springer
16 years 6 months ago
On Constructor Rewrite Systems and the Lambda-Calculus
Ugo Dal Lago, Simone Martini