1. Martin Abadi, Georges Gonthier, and Jean-Jacques Lévy. Linear logic without boxes. In Proceedings of the 7 th Symposium on Logic in Computer Science. IEEE Computer Society Press, 1992.
2. Andrea Asperti. δo!∈=1. In Hsiang (Jieh), editor, Proceedings of the Sixth Rewriting Techniques and Applications Conference, pages 102–116. Springer-Verlag, 1995.
3. A.H. Clifford and G.B. Preston. The algebraic theory of semi-groups. In Mathematical Surveys, volume 7. American Mathematical Society, 1961.
4. Vincent Danos and Laurent Regnier. Local and asynchronous beta-reduction. In Proceedings of the 8 th Symposium on Logic in Computer Science. IEEE Computer Society Press, 1993.
5. Jean-Yves Girard. Geometry of interaction I: an interpretation of system F. In Ferro & al., editor, Proceedings of A.S.L. Meetings. North-Holland, 1988.