Top.Mail.Ru
? ?
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]
Jason

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Apr. 13th, 2010|10:02 am]
Jason
[Tags|]

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.
LinkReply

Comments:
From: neelk
2010-04-13 02:46 pm (UTC)
"Gluing construction" is category theorist-speak for "logical relation". I don't know what double gluing is, but Andreas Schalk has some notes about it.
(Reply) (Thread)
From: redglasses
2010-04-14 01:28 am (UTC)
Unrelated except in name, but have you seen the Extended Bell Curve?
(Reply) (Thread)
[User Picture]From: jcreed
2010-04-14 09:47 am (UTC)
haha niicce
(Reply) (Parent) (Thread)