Belleannee,Catherine
Notes
NL95-011
: UNE RECONSTRUCTION PRAGMATIQUE DE LAMBDA-PROLOG TSI 14/9/1995
NL98-012
: A PRAGMATIC RECONSTRUCTION OF LAMBDA-PROLOG JOURNAL OF LOGIC PROGRAMMING