Modelling Coeffects in the Relational Semantics of Linear Logic (Q5351981)

From MaRDI portal
scientific article; zbMATH DE number 6767619
Language Label Description Also known as
English
Modelling Coeffects in the Relational Semantics of Linear Logic
scientific article; zbMATH DE number 6767619

    Statements

    0 references
    0 references
    31 August 2017
    0 references
    relational semantics
    0 references
    bounded linear logic
    0 references
    lambda calculus
    0 references
    Modelling Coeffects in the Relational Semantics of Linear Logic (English)
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references