An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials (Q3460050)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
scientific article

    Statements

    An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials (English)
    0 references
    0 references
    0 references
    12 January 2016
    0 references

    Identifiers