Aart Middeldorp;Taisuke Sato
-;-
Lambda-Lifting in Quadratic Time
FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming