288 research outputs found

    Is game semantics necessary?

    Full text link
    We discuss the extent to which game semantics is implicit in the formalism of linear logic and in the intuitions underlying linear logic
    • …
    corecore