Advances in Linear Logic door Jean-Yves Girard