linear logic (Q841728)

From Wikidata
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
system of resource-aware logic
Language Label Description Also known as
English
linear logic
system of resource-aware logic

    Statements

    Commons category
    Linear logic
    0 references

    Identifiers

    nLab ID
    linear logic
    0 references
    FOLDOC ID
    linear+logic
    0 references
     
                    Retrieved from "https://www.wikidata.org/w/index.php?title=Q841728&oldid=2232989808"