A Formulae-as-Types Interpretation of Subtractive Logic.

Tristan Crolard

Published in: J. Log. Comput. (2004)

Keyphrases

image interpretation
high level
logic programming
multiple types
multi valued
clustering algorithm
multi agent systems