Advances in Linear Logic by Jean-Yves Girard