@mastersthesis(DeBen11,
 author       = "Erika De Benedetti",
 year         = "2011",
 title        = "Polynomial Lambda-Calculus via Intersection Types",
 school       = "Universit{\`a} degli Studi di Torino",
)
@inproceedings(bernadetleng11,
 author       = "Alexis Bernadet and {St\'ephane} Lengrand",
 year         = "2011",
 title        = "Complexity of strongly normalising $\lambda $-terms via non-idempotent intersection types",
 editor       = "Martin Hofmann",
 booktitle    = "Proceedings of (FOSSACS'11)",
 series       = "LNCS",
 volume       = "6604",
 publisher    = "Springer",
 doi          = "10.1007/978-3-642-19805-2\_7",
)
@inproceedings(bucciarelli07csl,
 author       = "Antonio Bucciarelli and Thomas Ehrhard and Giulio Manzonetto",
 year         = "2007",
 title        = "Not Enough Points Is Enough",
 editor       = "Jacques Duparc and Thomas A. Henzinger",
 booktitle    = "Proceedings of CSL 2007",
 series       = "LNCS",
 volume       = "4646",
 publisher    = "Springer",
 pages        = "298--312",
 doi          = "10.1007/978-3-540-74915-8\_24",
)
@article(deCarvalho09CORR,
 author       = "Daniel de Carvalho",
 year         = "2009",
 title        = "Execution Time of lambda-Terms via Denotational Semantics and Intersection Types",
 journal      = "MSCS",
 volume       = "to appear",
 url          = "http://arxiv.org/abs/0905.4251",
)
@article(DiGia08,
 author       = "Pietro Di Gianantonio and Furio Honsell and Marina Lenisa",
 year         = "2008",
 title        = "A type assignment system for game semantics",
 journal      = "Theoretical Computer Science",
 volume       = "398",
 pages        = "150--169",
 doi          = "10.1016/j.tcs.2008.01.023",
)
@inproceedings(GaboardiRonchi07csl,
 author       = "Marco Gaboardi and Simona {Ronchi Della Rocca}",
 year         = "2007",
 title        = "A Soft Type Assignment System for $\lambda $-Calculus",
 editor       = "Jacques Duparc and Thomas A. Henzinger",
 booktitle    = "Proceedings of {CSL'07}",
 series       = "LNCS",
 volume       = "4646",
 publisher    = "Springer",
 pages        = "253--267",
 doi          = "10.1007/978-3-540-74915-8\_21",
)
@article(kfoury00,
 author       = "Assaf J. Kfoury",
 year         = "2000",
 title        = "A {L}inearization of the {L}ambda-{C}alculus and {C}onsequences",
 journal      = "J.\ {L}ogic {C}omp.",
 volume       = "10",
 number       = "3",
 pages        = "411--436",
 doi          = "10.1093/logcom/10.3.411",
)
@article(kfouryWells04,
 author       = "Assaf J. Kfoury and J. B. Wells",
 year         = "2004",
 title        = "Principality and type inference for intersection types using expansion variables",
 journal      = "Theoretical Computer Science",
 volume       = "311(1-3)",
 pages        = "1--70",
 doi          = "10.1016/j.tcs.2003.10.032",
)
@article(Lafont04,
 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(MairsonNeergaard04,
 author       = "Harry Mairson and Peter M. Neergaard",
 year         = "2004",
 title        = "Types, potency, and idempotency: why nonlinearity and amnesia make a type system work",
 booktitle    = "proceedings of ICFP 2004",
 pages        = "138--149",
 doi          = "10.1145/1016850.1016871",
)
@article(Neergaard05,
 author       = "Peter M{\o }ller Neergaard",
 year         = "2005",
 title        = "Theoretical Pearls: A bargain for intersection types: a simple strong normalization proof",
 journal      = "J. Funct. Program.",
 volume       = "15",
 number       = "5",
 pages        = "669--677",
 url          = "http://dx.doi.org/10.1017/S0956796805005587",
)
@inproceedings(pagani10fossacs,
 author       = "Michele Pagani and Simona Ronchi Della Rocca",
 year         = "2010",
 title        = "Solvability in Resource Lambda-Calculus",
 editor       = "C.-H. Luke Ong",
 booktitle    = "Proceedings of FOSSACS 2010",
 series       = "LNCS",
 volume       = "6014",
 publisher    = "Springer",
 pages        = "358--373",
 doi          = "10.1007/978-3-642-12032-9\_25",
)
@article(PaganiRonchi:2010FI,
 author       = "Michele Pagani and Simona {Ronchi Della Rocca}",
 year         = "2010",
 title        = "Linearity, Non-determinism and Solvability",
 journal      = "Fundamenta Informaticae",
 volume       = "103",
 pages        = "358--373",
)
@unpublished(paolini12draft,
 author       = "Luca Paolini and Mauro Piccolo and Simona Ronchi Della Rocca",
 year         = "2012",
 title        = "Logical Relational Lambda-Models",
 url          = "http://www.di.unito.it/html",
 note         = "DRAFT",
)
@misc(TeruiInt,
 author       = "K. Terui",
 year         = "2006",
 title        = "Intersection Types for Computational Complexity",
 url          = "citeseer.ist.psu.edu/294754.html",
 note         = "Slides",
)