2 research outputs found

    Regular directional types for logic programs

    No full text
    corecore