A fixpoint theorem in linear logic. An email posting to the mailing list linear@cs.stanford.edu (1992)

by J-Y Girard