1. Atassi, V., Baillot, P., Terui, K.: Verification of Ptime reducibility for system F terms via Dual Light Affine Logic. Technical Report HAL ccsd-00021834 (July 2006)
2. Amadio, R.: Synthesis of max-plus quasi-interpretations. Fundamenta Informaticae 65, 29–60 (2005)
3. Asperti, A., Roversi, L.: Intuitionistic light affine logic. ACM Transactions on Computational Logic 3(1), 1–39 (2002)
4. Atassi, V.: Inférence de type en logique linéaire élémentaire. Master’s thesis, Université Paris 13 (2005)
5. Baillot, P.: Checking polynomial time complexity with types. In: Proceedings of IFIP TCS 2002, Montreal. Kluwer Academic Press, Dordrecht (2002)