1. Intuitionistic light affine logic;Asperti;ACM Transactions on Computational Logic,2002
2. Verification of ptime reducibility for system f terms: Type inference in dual light affine logic;Atassi;Logical Methods in Computer Science,2007
3. Stratified coherence spaces: A denotational semantics for Light Linear Logic;Baillot;Theoretical Computer Science,2004
4. Light types for polynomial time computation in lambda-calculus;Baillot,2004
5. New recursion-theoretic characterization of the polytime functions;Bellantoni;Computational Complexity,1992