Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.

Taro Suzuki Koji Nakagawa Tetsuo Ida Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. 99-113 1997 conf/alp/1997 ALP/HOA db/conf/alp/alp97.html#SuzukiNI97 http://dx.doi.org/10.1007/BFb0027005