Symbiose Project Team

Home

Scientific Axes

Members

Publications

Belleann\ée, C, Brisset, P and Ridoux, O (1995), "Une reconstruction pragmatique de Lambda-Prolog", Technique et Science Informatique, 14: 1131--1164.