1. A. Asperti, Light affine logic, in: Proc. 13th IEEE Annual Symp. on Logic in Computer Science 1998 IEEE Computer Society, Silver Spring, MD, 1998.
2. A new recursion-theoretic characterization of the poly-time functions;Bellantoni;Comput. Complexity,1992
3. Light linear logic;Girard;Inform. and Comput.,1998
4. W.G. Handley, Bellantoni and Cook's characterization of polynomial time with some related results, in: S. Wainer's Marktoberdorf’97 Technische Universität München, Lecture Notes, 1997.
5. M. Hofmann, Type Systems for Polynomial-time Computation, Technische Universität Darmstadt, Habilitationsschrift, 1998.