Sciweavers

ICALP
2009
Springer

On Constructor Rewrite Systems and the Lambda-Calculus

14 years 11 months ago
On Constructor Rewrite Systems and the Lambda-Calculus
Ugo Dal Lago, Simone Martini
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2009
Where ICALP
Authors Ugo Dal Lago, Simone Martini
Comments (0)