@article(AspertiRoversi02,
 author       = "A. Asperti and L. Roversi",
 year         = "2002",
 title        = "Intuitionistic light affine logic",
 journal      = "ACM Transactions on Computational Logic",
 volume       = "3",
 number       = "1",
 pages        = "1--39",
 doi          = "10.1145/504077.504081",
)
@article(Bai,
 author       = "P. Baillot and K. Terui",
 year         = "2009",
 title        = "Light types for polynomial time computation in lambda-calculus",
 journal      = "Information and Computation",
 volume       = "207",
 number       = "1",
 pages        = "41--62",
 doi          = "10.1016/j.ic.2008.08.005",
)
@inproceedings(BaillotTerui04,
 author       = "Patrick Baillot and Kazushige Terui",
 year         = "2004",
 title        = "Light types for polynomial time computation in lambda-calculus",
 booktitle    = "Proceedings of LICS'04",
 pages        = "266--275",
 doi          = "10.1109/LICS.2004.1319621",
)
@inproceedings(Bellancoo,
 author       = "Stephen Bellantoni and Stephen A. Cook",
 year         = "1992",
 title        = "A New Recursion-Theoretic Characterization of the Polytime Functions",
 booktitle    = "Proceedings of STOC'92",
 publisher    = "ACM",
 pages        = "283--293",
)
@article(Chandra,
 author       = "A.K. Chandra and D.C. Kozen and L.J. Stockmeyer",
 year         = "1981",
 title        = "Alternation",
 journal      = "Journal of the ACM",
 volume       = "28",
 number       = "1",
 pages        = "114--133",
)
@inproceedings(SimonaGabo07,
 author       = "M. Gaboardi and S. Ronchi Della Ronca",
 year         = "2007",
 title        = "A soft type assignment system for $\lambda $-calculus",
 booktitle    = "Proceedings of CSL'07",
 publisher    = "Springer",
 doi          = "10.1007/978-3-540-74915-8\_21",
)
@inproceedings(Gabo,
 author       = "M. Gaboardi and S. Ronchi Della Ronca and J-Y Marion",
 year         = "2008",
 title        = "A Logical Account of PSPACE",
 booktitle    = "Proceedings of POPL'08",
 doi          = "10.1145/1328438.1328456",
)
@article(Girard95a,
 author       = "J.-Y. Girard",
 year         = "1998",
 title        = "Light Linear Logic",
 journal      = "Information and Computation",
 volume       = "143",
 pages        = "175--204",
)
@inproceedings(Hofma,
 author       = "Martin Hofmann",
 year         = "2002",
 title        = "The strength of non-size increasing computation",
 booktitle    = "Proceedings of POPL'02",
 publisher    = "ACM",
 pages        = "260--269",
 doi          = "10.1145/503272.503297",
)
@article(Krivine,
 author       = "J-L Krivine",
 year         = "2007",
 title        = "A call-by-name lambda calculus machine",
 journal      = "Higher Order and Symbolic Computation",
)
@article(Lafont02,
 author       = "Y. Lafont",
 year         = "2004",
 title        = "Soft Linear Logic and polynomial time",
 journal      = "Theoretical Computer Science",
 volume       = "318",
 number       = "1--2",
 pages        = "163--180",
 doi          = "10.1016/j.tcs.2003.10.018",
)
@inproceedings(Leivantmar,
 author       = "Jean-Yves Marion and Daniel Leivant",
 year         = "1995",
 title        = "Ramified Recurrence and Computational Complexity II: Substitution and Poly-Space",
 booktitle    = "Proceedings of CSL'94",
 publisher    = "Springer",
 pages        = "486--500",
 doi          = "10.1007/BFb0022277",
)
@inproceedings(Marionmoy,
 author       = "Jean-Yves Marion and Jean-Yves Moyen",
 year         = "2000",
 title        = "Efficient First Order Functional Program Interpreter with Time Bound Certifications",
 booktitle    = "Proceedings of LPAR'00",
 publisher    = "Springer",
 pages        = "25--42",
 doi          = "10.1007/3-540-44404-1\_3",
)