A fixpoint theorem in linear logic. A message posted on the mailing list linear@cs.stanford.edu, see http://www.csl.sri.com/linear/mailing-list-traffic/ www/07/mail_3.html (1992)

by J-Y Girard