October 2004, 20pp.
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.