1. Szabo, M.E.: Collected works of Gehrard Gentzen. Amsterdam: North-Holland 1969
2. Girard, J.Y.: Linear logic. Theoretical Computer Science50 (1987)
3. Girard, J.Y.: Multiplicatives. To appear in the Proceedings of the Congress of Logic and Computer Science held in Torino, October 1986
4. Girard, J.Y.: Towards a geometry of interaction. To appear in the acts of AMS conference on categories, Boulder, June 1987
5. Girard, J.Y.: Quantifiers in linear logic. To appear in the Proceedings of the SILFS conference, held in Cesena, January 1987