Sciweavers

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