Intuitionistic Light Affine Logic (Q5738953)

From MaRDI portal
scientific article; zbMATH DE number 6729762
Language Label Description Also known as
English
Intuitionistic Light Affine Logic
scientific article; zbMATH DE number 6729762

    Statements

    title
    Intuitionistic Light Affine Logic (English)
    0 references
    DOI
    10.1145/504077.504081
    0 references
    author
    Andrea Asperti
    0 references
    Luca Roversi
    0 references
    publication date
    13 June 2017
    0 references
    zbMATH DE Number
    6729762
    0 references
    OpenAlex ID
    W2133538984
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5738953&oldid=32007037"
    Powered by MediaWiki