[Lecture Notes in Computer Science] Functional and Logic Programming Volume 2441 || Lambda-Lifting in Quadratic Time
Hu, Zhenjiang, Rodríguez-Artalejo, MarioVolume:
10.1007/3-
Year:
2002
Language:
english
DOI:
10.1007/3-540-45788-7_8
File:
PDF, 251 KB
english, 2002