Ridoux,Olivier

Notes

• NL91-001: NAIVE REVERSE CAN BE LINEAR ICLP 1991
• NL93-001: CONTINUATIONS IN LAMBDA-PROLOG ICLP 1993
• NL95-011: UNE RECONSTRUCTION PRAGMATIQUE DE LAMBDA-PROLOG TSI 14/9/1995
• NL98-012: A PRAGMATIC RECONSTRUCTION OF LAMBDA-PROLOG JOURNAL OF LOGIC PROGRAMMING