A syntax for linear logic (Q5890063): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Lilac / rank
 
Normal rank

Revision as of 03:27, 28 February 2024

scientific article; zbMATH DE number 7680655
Language Label Description Also known as
English
A syntax for linear logic
scientific article; zbMATH DE number 7680655

    Statements

    A syntax for linear logic (English)
    0 references
    0 references
    28 April 2023
    0 references
    pattern match
    0 references
    linear logic
    0 references
    natural deduction
    0 references
    linear assumption
    0 references
    concrete syntax
    0 references

    Identifiers