The CMU Bibliography on Linear Logic has been moved to

http://www.cs.cmu.edu/~carsten/linearbib/linearbib.html

It is currently maintained by Carsten Schürmann (carsten@cs.cmu.edu)

Iliano Cervesato (iliano@cs.stanford.edu)