1. Verification of PTIME reducibility for System F terms: type inference in dual light affine logic;Atassi;Log. Methods Comput. Sci.,2007
2. The role of polymorphism in the characterisation of complexity by soft types;Chrząszcz,2011
3. On the expressive power of light affine logic;Dal Lago,2003
4. On light logics, uniform encodings and polynomial time;Dal Lago;Math. Struct. Comput. Sci.,2006
5. A logical account of PSPACE;Gaboardi,2008