1 research outputs found

    From Typed-Functional Semantic Web Services to Proofs

    No full text
    corecore