@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00926488v1> a dcat:Dataset ;
    dct:description """
              This paper focuses on the λj-calculus, a formalism with jumps inspired from linear logic, and based on the notion of multiplicity. We consider terms with metavariables, and we prove metaconfluence of the calculus equipped with an equivalence relation. This confers to λj all the good properties that one can expect.
            """ ;
    dct:identifier "hal-00926488" ;
    dct:issued "2026-05-07T13:50:16.405983"^^xsd:dateTime ;
    dct:language "en" ;
    dct:modified "2026-05-07T13:50:16.405987"^^xsd:dateTime ;
    dct:publisher <https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> ;
    dct:title "Metaconfluence of λj: dealing with non-deterministic replacements" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "CCSD" ] ;
    dcat:distribution <https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00926488v1/resource/d25bce83-80c1-4173-9b31-722a635cc299> ;
    dcat:keyword "infoeu-reposemanticspreprint",
        "infoinfo-locomputer-science-cslogic-in-computer-science-cslo",
        "preprints-working-papers-" ;
    dcat:landingPage <https://hal.science/hal-00926488> .

<https://rec.harvest-normandie.data4citizen.com/dataset/oai-hal-hal-00926488v1/resource/d25bce83-80c1-4173-9b31-722a635cc299> a dcat:Distribution ;
    dct:format "HTML" ;
    dct:issued "2026-05-07T13:50:16.409063"^^xsd:dateTime ;
    dct:modified "2026-05-07T13:50:16.399909"^^xsd:dateTime ;
    dct:title "Metaconfluence of λj: dealing with non-deterministic replacements" ;
    dcat:accessURL <https://hal.science/hal-00926488> .

<https://rec.harvest-normandie.data4citizen.com/organization/cce9db95-46d9-4dc2-84b6-764215d0a002> a foaf:Agent ;
    foaf:name "test_moissonnage_selune" .

<https://hal.science/hal-00926488> a foaf:Document .