Sciweavers

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