-

Looked up Girard's original article on Linear Logic.
Couldn't understand much of it.