Reductions in Intuitionistic Linear Logic (Q4882488)

From MaRDI portal
scientific article; zbMATH DE number 890010
Language Label Description Also known as
English
Reductions in Intuitionistic Linear Logic
scientific article; zbMATH DE number 890010

    Statements

    Identifiers