Sciweavers

60
Voted
ICALP
2009
Springer
15 years 10 months ago
On Constructor Rewrite Systems and the Lambda-Calculus
Ugo Dal Lago, Simone Martini