Programming Research Group
Research Report RR-04-18
Believe it or not, Bell states are a model of multiplicative linear logic.
Ross Duncan
October 2004, 20pp.
Abstract
By considering an explicit model of MLL over a compact
closed category we show that cut-free MLL proof-nets (without units)
may be realised as entangled quantum states and cut-elimination may be
implemented as entanglement exchange.
This paper is available as a 326,241 bytes ps file.
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl