Johan Boye

• Directional types in logic programming