Jason (jcreed) wrote,

Followed a link on Lipton's blog to Bob Cocke's homepage; from there found this paper "Believe it or not, Bell states are a model of multiplicative linear logic" by Ross Duncan. I don't fully understand it yet, but it promises something called the "Double Glueing Construction" which somehow builds a nontrivial model of MLL out of a degenerate one in which tensor and par collapse. This collapse is exactly what you usually see come out of interpretations of linear logic into linear algebra and quantum mechanics and the like.
Tags: papers

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded