1996 | ||
---|---|---|
4 | Pascale Louvet, Olivier Ridoux: Parametric Polymorphism for Typed Prolog and lambda-Prolog. PLILP 1996: 47-61 | |
1993 | ||
3 | Serge Le Huitouze, Pascale Louvet, Olivier Ridoux: Logic Grammars and Lambda-Prolog. ICLP 1993: 64-79 | |
2 | Pascale Louvet: Mise en oeuvre d'un traducteur de lambda-Prolog et Llambda. JFPL 1993: 175-196 | |
1 | Serge Le Huitouze, Pascale Louvet, Olivier Ridoux: Les grammaires logiques et lambda-Prolog. JFPL 1993: 93-108 |
1 | Serge Le Huitouze | [1] [3] |
2 | Olivier Ridoux | [1] [3] [4] |