Yves Bekkers Programmation d'ordre supérieur en lambda-Prolog. 367-390 1993 conf/jfplc/1993 JFPL db/conf/jfplc/jfpl1993.html#Bekkers93