Mise en oeuvre d un traducteur de lambda-Prolog et L::lambda::

Pascale Louvet. Mise en oeuvre d un traducteur de lambda-Prolog et L::lambda::. In Philippe Ézéquel, editor, 2èmes Journées Francophones de Programmation Logique (JFPL 93), Nimes, France. pages 175-196, TEKNEA, 1993.

Abstract

Abstract is missing.