@article{CoppolaLR08,
  title = {Light Logics and the Call-by-Value Lambda Calculus},
  author = {Paolo Coppola and Ugo Dal Lago and Simona Ronchi Della Rocca},
  year = {2008},
  doi = {10.2168/LMCS-4(4:5)2008},
  url = {http://dx.doi.org/10.2168/LMCS-4(4:5)2008},
  tags = {logic},
  researchr = {https://researchr.org/publication/CoppolaLR08},
  cites = {0},
  citedby = {0},
  journal = {Logical Methods in Computer Science},
  volume = {4},
  number = {4},
}

@article{EgidiHR92,
  title = {Operational, denotational and logical descriptions: a case study},
  author = {Lavinia Egidi and Furio Honsell and Simona Ronchi Della Rocca},
  year = {1992},
  tags = {case study},
  researchr = {https://researchr.org/publication/EgidiHR92},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {16},
  number = {1},
  pages = {149-169},
}

@inproceedings{GianniniR91,
  title = {Type Inference in Polymorphic Type Discipline},
  author = {Paola Giannini and Simona Ronchi Della Rocca},
  year = {1991},
  tags = {type inference},
  researchr = {https://researchr.org/publication/GianniniR91},
  cites = {0},
  citedby = {0},
  pages = {18-37},
  booktitle = {Theoretical Aspects of Computer Software, International Conference TACS  91, Sendai, Japan, September 24-27, 1991, Proceedings},
  editor = {Takayasu Ito and Albert R. Meyer},
  volume = {526},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54415-1},
}

@article{PaoliniPR05,
  title = {Lazy Strong Normalization},
  author = {Luca Paolini and Elaine Pimentel and Simona Ronchi Della Rocca},
  year = {2005},
  doi = {10.1016/j.entcs.2005.06.013},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.06.013},
  tags = {laziness},
  researchr = {https://researchr.org/publication/PaoliniPR05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {136},
  pages = {103-116},
}

@article{PravatoRR99,
  title = {The call-by-value [lambda]-calculus: a semantic investigation},
  author = {Alberto Pravato and Simona Ronchi Della Rocca and Luca Roversi},
  year = {1999},
  researchr = {https://researchr.org/publication/PravatoRR99},
  cites = {0},
  citedby = {0},
  journal = {Mathematical Structures in Computer Science},
  volume = {9},
  number = {5},
  pages = {617-650},
}

@inproceedings{GianniniR88,
  title = {Characterization of typings in polymorphic type discipline},
  author = {Paola Giannini and Simona Ronchi Della Rocca},
  year = {1988},
  researchr = {https://researchr.org/publication/GianniniR88},
  cites = {0},
  citedby = {0},
  pages = {61-70},
  booktitle = {Proceedings, Third Annual Symposium on Logic in Computer Science, 5-8 July 1988, Edinburgh, Scotland, UK},
  publisher = {IEEE Computer Society},
}

@article{PaoliniR04:0,
  title = {Parametric parameter passing Lambda-calculus},
  author = {Luca Paolini and Simona Ronchi Della Rocca},
  year = {2004},
  doi = {10.1016/j.ic.2003.08.003},
  url = {http://dx.doi.org/10.1016/j.ic.2003.08.003},
  researchr = {https://researchr.org/publication/PaoliniR04%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {189},
  number = {1},
  pages = {87-106},
}

@article{GianniniHR93,
  title = {Type Inference: Some Results, Some Problems},
  author = {Paola Giannini and Furio Honsell and Simona Ronchi Della Rocca},
  year = {1993},
  tags = {type inference},
  researchr = {https://researchr.org/publication/GianniniHR93},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {19},
  number = {1/2},
  pages = {87-125},
}

@article{RoccaV84,
  title = {Principal Type Schemes for an Extended Type Theory},
  author = {Simona Ronchi Della Rocca and Betti Venneri},
  year = {1984},
  tags = {type theory},
  researchr = {https://researchr.org/publication/RoccaV84},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {28},
  pages = {151-169},
}

@article{Rocca02,
  title = {Intersection Typed lambda-calculus},
  author = {Simona Ronchi Della Rocca},
  year = {2002},
  url = {http://www1.elsevier.com/gej-ng/31/29/23/125/51/show/Products/notes/index.htt#011},
  researchr = {https://researchr.org/publication/Rocca02},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {70},
  number = {1},
  pages = {163-181},
}

@article{Rocca88,
  title = {Principal Type Scheme and Unification for Intersection Type Discipline},
  author = {Simona Ronchi Della Rocca},
  year = {1988},
  researchr = {https://researchr.org/publication/Rocca88},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {59},
  pages = {181-209},
}

@article{BaillotMR09,
  title = {Guest editorial: Special issue on implicit computational complexity},
  author = {Patrick Baillot and Jean-Yves Marion and Simona Ronchi Della Rocca},
  year = {2009},
  doi = {10.1145/1555746.1555747},
  url = {http://doi.acm.org/10.1145/1555746.1555747},
  researchr = {https://researchr.org/publication/BaillotMR09},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Comput. Log.},
  volume = {10},
  number = {4},
}

@inproceedings{GaboardiR07,
  title = {A Soft Type Assignment System for ::::lambda:::: -Calculus},
  author = {Marco Gaboardi and Simona Ronchi Della Rocca},
  year = {2007},
  doi = {10.1007/978-3-540-74915-8_21},
  url = {http://dx.doi.org/10.1007/978-3-540-74915-8_21},
  tags = {type system},
  researchr = {https://researchr.org/publication/GaboardiR07},
  cites = {0},
  citedby = {0},
  pages = {253-267},
  booktitle = {Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings},
  editor = {Jacques Duparc and Thomas A. Henzinger},
  volume = {4646},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74914-1},
}

@inproceedings{PravatoRR95,
  title = {Categorical semantics of the call-by-value lambda-calculus},
  author = {Alberto Pravato and Simona Ronchi Della Rocca and Luca Roversi},
  year = {1995},
  tags = {semantics},
  researchr = {https://researchr.org/publication/PravatoRR95},
  cites = {0},
  citedby = {0},
  pages = {381-396},
  booktitle = {Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA  95, Edinburgh, UK, April 10-12, 1995, Proceedings},
  editor = {Mariangiola Dezani-Ciancaglini and Gordon D. Plotkin},
  volume = {902},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59048-X},
}

@article{KfouryRTU99,
  title = {Alpha-Conversion and Typability},
  author = {A. J. Kfoury and Simona Ronchi Della Rocca and Jerzy Tiuryn and Pawel Urzyczyn},
  year = {1999},
  researchr = {https://researchr.org/publication/KfouryRTU99},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {150},
  number = {1},
  pages = {1-21},
}

@article{PaoliniR04,
  title = {Lazy Logical Semantics},
  author = {Luca Paolini and Simona Ronchi Della Rocca},
  year = {2004},
  doi = {10.1016/j.entcs.2004.10.003},
  url = {http://dx.doi.org/10.1016/j.entcs.2004.10.003},
  tags = {laziness, semantics},
  researchr = {https://researchr.org/publication/PaoliniR04},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {104},
  pages = {235-251},
}

@inproceedings{BastoneroPR98,
  title = {Structures for lazy semantics},
  author = {O. Bastonero and Alberto Pravato and Simona Ronchi Della Rocca},
  year = {1998},
  tags = {laziness, semantics},
  researchr = {https://researchr.org/publication/BastoneroPR98},
  cites = {0},
  citedby = {0},
  pages = {30-48},
  booktitle = {Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET  98) 8-12 June 1998, Shelter Island, New York, USA},
  editor = {David Gries and Willem P. de Roever},
  volume = {125},
  series = {IFIP Conference Proceedings},
  publisher = {Chapman and Hall},
  isbn = {0-412-83760-9},
}

@article{GianniniR94,
  title = {A Type Inference Algorithm for a Stratified Polymorphic Type Discipline},
  author = {Paola Giannini and Simona Ronchi Della Rocca},
  year = {1994},
  month = {February/March},
  tags = {type inference},
  researchr = {https://researchr.org/publication/GianniniR94},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {109},
  number = {1/2},
  pages = {115-173},
}

@inproceedings{PaganiR10,
  title = {Solvability in Resource Lambda-Calculus},
  author = {Michele Pagani and Simona Ronchi Della Rocca},
  year = {2010},
  doi = {10.1007/978-3-642-12032-9_25},
  url = {http://dx.doi.org/10.1007/978-3-642-12032-9_25},
  researchr = {https://researchr.org/publication/PaganiR10},
  cites = {0},
  citedby = {0},
  pages = {358-373},
  booktitle = {Foundations of Software Science and Computational Structures, 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings},
  editor = {C.-H. Luke Ong},
  volume = {6014},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-12031-2},
}

@inproceedings{CoppolaLR05,
  title = {Elementary Affine Logic and the Call-by-Value Lambda Calculus},
  author = {Paolo Coppola and Ugo Dal Lago and Simona Ronchi Della Rocca},
  year = {2005},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3461&spage=131},
  tags = {logic},
  researchr = {https://researchr.org/publication/CoppolaLR05},
  cites = {0},
  citedby = {0},
  pages = {131-145},
  booktitle = {Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings},
  editor = {Pawel Urzyczyn},
  volume = {3461},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25593-1},
}

@inproceedings{BakelLRU94,
  title = {Comparing Cubes},
  author = {Steffen van Bakel and Luigi Liquori and Simona Ronchi Della Rocca and Pawel Urzyczyn},
  year = {1994},
  researchr = {https://researchr.org/publication/BakelLRU94},
  cites = {0},
  citedby = {0},
  pages = {353-365},
  booktitle = {Logical Foundations of Computer Science, Third International Symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994, Proceedings},
  editor = {Anil Nerode and Yuri Matiyasevich},
  volume = {813},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-58140-5},
}

@article{PaoliniR99,
  title = {Call-by-value Solvability},
  author = {Luca Paolini and Simona Ronchi Della Rocca},
  year = {1999},
  researchr = {https://researchr.org/publication/PaoliniR99},
  cites = {0},
  citedby = {0},
  journal = {ITA},
  volume = {33},
  number = {6},
  pages = {507-534},
}

@inproceedings{Rocca81,
  title = {Discriminability of Infinite Sets of Terms in the D::infinity::-Models of the lambda-calculus},
  author = {Simona Ronchi Della Rocca},
  year = {1981},
  researchr = {https://researchr.org/publication/Rocca81},
  cites = {0},
  citedby = {0},
  pages = {350-364},
  booktitle = {CAAP  81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings},
  editor = {Egidio Astesiano and Corrado Böhm},
  volume = {112},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-10828-9},
}

@inproceedings{Rocca87,
  title = {An Unification Semi-Algorithm for Intersection Type Schemes},
  author = {Simona Ronchi Della Rocca},
  year = {1987},
  researchr = {https://researchr.org/publication/Rocca87},
  cites = {0},
  citedby = {0},
  pages = {37-51},
  booktitle = {TAPSOFT 87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra},
  editor = {Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari},
  volume = {249},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-17660-8},
}

@inproceedings{Rocca00,
  title = {Operational semantics and extensionality},
  author = {Simona Ronchi Della Rocca},
  year = {2000},
  doi = {10.1145/351268.351272},
  url = {http://doi.acm.org/10.1145/351268.351272},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/Rocca00},
  cites = {0},
  citedby = {0},
  pages = {24-31},
  booktitle = {PPDP},
}

@inproceedings{CoppoDR78,
  title = {(Semi)-separability of Finite Sets of Terms in Scott s D_infty-Models of the lambda-Calculus},
  author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca},
  year = {1978},
  researchr = {https://researchr.org/publication/CoppoDR78},
  cites = {0},
  citedby = {0},
  pages = {142-164},
  booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings},
  editor = {Giorgio Ausiello and Corrado Böhm},
  volume = {62},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-08860-1},
}

@article{HonsellR92,
  title = {An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus},
  author = {Furio Honsell and Simona Ronchi Della Rocca},
  year = {1992},
  researchr = {https://researchr.org/publication/HonsellR92},
  cites = {0},
  citedby = {0},
  journal = {J. Comput. Syst. Sci.},
  volume = {45},
  number = {1},
  pages = {49-75},
}

@article{HonsellPR98,
  title = {Structured Operational Semantics of a Fragment of the Language Scheme},
  author = {Furio Honsell and Alberto Pravato and Simona Ronchi Della Rocca},
  year = {1998},
  tags = {semantics, operational semantics},
  researchr = {https://researchr.org/publication/HonsellPR98},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {8},
  number = {4},
  pages = {335-365},
}

@inproceedings{PaoliniPR06,
  title = {An Operational Characterization of Strong Normalization},
  author = {Luca Paolini and Elaine Pimentel and Simona Ronchi Della Rocca},
  year = {2006},
  doi = {10.1007/11690634_25},
  url = {http://dx.doi.org/10.1007/11690634_25},
  researchr = {https://researchr.org/publication/PaoliniPR06},
  cites = {0},
  citedby = {0},
  pages = {367-381},
  booktitle = {Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings},
  editor = {Luca Aceto and Anna Ingólfsdóttir},
  volume = {3921},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-33045-3},
}

@article{Dezani-CiancagliniRS79,
  title = {Complexity of lambda-term reductions},
  author = {Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca and Lorenza Saitta},
  year = {1979},
  researchr = {https://researchr.org/publication/Dezani-CiancagliniRS79},
  cites = {0},
  citedby = {0},
  journal = {ITA},
  volume = {13},
  number = {3},
  pages = {257-287},
}

@inproceedings{Dezani-CiancagliniGR09,
  title = {Intersection, Universally Quantified, and Reference Types},
  author = {Mariangiola Dezani-Ciancaglini and Paola Giannini and Simona Ronchi Della Rocca},
  year = {2009},
  doi = {10.1007/978-3-642-04027-6_17},
  url = {http://dx.doi.org/10.1007/978-3-642-04027-6_17},
  researchr = {https://researchr.org/publication/Dezani-CiancagliniGR09},
  cites = {0},
  citedby = {0},
  pages = {209-224},
  booktitle = {Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings},
  editor = {Erich Grädel and Reinhard Kahle},
  volume = {5771},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04026-9},
}

@article{LiquoriR05,
  title = {Towards an Intersection Typed System ::::à la:::: Church},
  author = {Luigi Liquori and Simona Ronchi Della Rocca},
  year = {2005},
  doi = {10.1016/j.entcs.2005.06.015},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.06.015},
  tags = {type system},
  researchr = {https://researchr.org/publication/LiquoriR05},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {136},
  pages = {43-56},
}

@article{Rocca82,
  title = {Characterization Theorems for a Filter Lambda Model},
  author = {Simona Ronchi Della Rocca},
  year = {1982},
  month = {September},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/Rocca82},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {54},
  number = {3},
  pages = {201-216},
}

@inproceedings{GaboardiMR08:0,
  title = {A logical account of pspace},
  author = {Marco Gaboardi and Jean-Yves Marion and Simona Ronchi Della Rocca},
  year = {2008},
  doi = {10.1145/1328438.1328456},
  url = {http://doi.acm.org/10.1145/1328438.1328456},
  researchr = {https://researchr.org/publication/GaboardiMR08%3A0},
  cites = {0},
  citedby = {0},
  pages = {121-131},
  booktitle = {Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008},
  editor = {George C. Necula and Philip Wadler},
  publisher = {ACM},
  isbn = {978-1-59593-689-9},
}

@article{BohmDPR79,
  title = {A Discrimination Algorithm Inside lambda-beta-Calculus},
  author = {Corrado Böhm and Mariangiola Dezani-Ciancaglini and P. Peretti and Simona Ronchi Della Rocca},
  year = {1979},
  researchr = {https://researchr.org/publication/BohmDPR79},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {8},
  pages = {265-292},
}

@inproceedings{EgidiHR91,
  title = {The lazy call-by-value Lamda-Calculus},
  author = {Lavinia Egidi and Furio Honsell and Simona Ronchi Della Rocca},
  year = {1991},
  tags = {laziness},
  researchr = {https://researchr.org/publication/EgidiHR91},
  cites = {0},
  citedby = {0},
  pages = {161-169},
  booktitle = {Mathematical Foundations of Computer Science 1991, 16th International Symposium, MFCS 91, Kazimierz Dolny, Poland, September 9-13, 1991, Proceedings},
  editor = {Andrzej Tarlecki},
  volume = {520},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-54345-7},
}

@article{RoccaR97,
  title = {Lambda Calculus and Intuitionistic Linear Logic},
  author = {Simona Ronchi Della Rocca and Luca Roversi},
  year = {1997},
  tags = {logic},
  researchr = {https://researchr.org/publication/RoccaR97},
  cites = {0},
  citedby = {0},
  journal = {Studia Logica},
  volume = {59},
  number = {3},
  pages = {417-448},
}

@inproceedings{GaboardiR08,
  title = {Type Inference for a Polynomial Lambda Calculus},
  author = {Marco Gaboardi and Simona Ronchi Della Rocca},
  year = {2008},
  doi = {10.1007/978-3-642-02444-3_9},
  url = {http://dx.doi.org/10.1007/978-3-642-02444-3_9},
  tags = {type inference},
  researchr = {https://researchr.org/publication/GaboardiR08},
  cites = {0},
  citedby = {0},
  pages = {136-152},
  booktitle = {Types for Proofs and Programs, International Conference, TYPES 2008, Torino, Italy, March 26-29, 2008, Revised Selected Papers},
  editor = {Stefano Berardi and Ferruccio Damiani and Ugo de Liguoro},
  volume = {5497},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02443-6},
}

@inproceedings{PipernoR94,
  title = {Type Inference and Extensionality},
  author = {Adolfo Piperno and Simona Ronchi Della Rocca},
  year = {1994},
  tags = {type inference},
  researchr = {https://researchr.org/publication/PipernoR94},
  cites = {0},
  citedby = {0},
  pages = {196-205},
  booktitle = {Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science, 4-7 July 1994, Paris, France},
  publisher = {IEEE Computer Society},
}

@article{GaboardiMR08,
  title = {Soft Linear Logic and Polynomial Complexity Classes},
  author = {Marco Gaboardi and Jean-Yves Marion and Simona Ronchi Della Rocca},
  year = {2008},
  doi = {10.1016/j.entcs.2008.03.066},
  url = {http://dx.doi.org/10.1016/j.entcs.2008.03.066},
  tags = {logic},
  researchr = {https://researchr.org/publication/GaboardiMR08},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {205},
  pages = {67-87},
}

@article{LiquoriR07,
  title = {Intersection-types à la Church},
  author = {Luigi Liquori and Simona Ronchi Della Rocca},
  year = {2007},
  doi = {10.1016/j.ic.2007.03.005},
  url = {http://dx.doi.org/10.1016/j.ic.2007.03.005},
  researchr = {https://researchr.org/publication/LiquoriR07},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {205},
  number = {9},
  pages = {1371-1386},
}

@inproceedings{CoppolaR03,
  title = {Principal Typing in Elementary Affine Logic},
  author = {Paolo Coppola and Simona Ronchi Della Rocca},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2701/27010090.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/CoppolaR03},
  cites = {0},
  citedby = {0},
  pages = {90-104},
  booktitle = {Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings},
  editor = {Martin Hofmann},
  volume = {2701},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-40332-9},
}

@article{CoppolaR05,
  title = {Principal Typing for Lambda Calculus in Elementary Affine Logic},
  author = {Paolo Coppola and Simona Ronchi Della Rocca},
  year = {2005},
  url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=65&issue=1&spage=87},
  tags = {logic},
  researchr = {https://researchr.org/publication/CoppolaR05},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {65},
  number = {1-2},
  pages = {87-112},
}

@inproceedings{RoccaR01,
  title = {Intersection Logic},
  author = {Simona Ronchi Della Rocca and Luca Roversi},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2142/21420414.htm},
  tags = {logic},
  researchr = {https://researchr.org/publication/RoccaR01},
  cites = {0},
  citedby = {0},
  pages = {414-428},
  booktitle = {Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings},
  editor = {Laurent Fribourg},
  volume = {2142},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42554-3},
}

@article{PaoliniPR09,
  title = {Logical Semantics for Stability},
  author = {Luca Paolini and Mauro Piccolo and Simona Ronchi Della Rocca},
  year = {2009},
  doi = {10.1016/j.entcs.2009.07.101},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.07.101},
  tags = {semantics},
  researchr = {https://researchr.org/publication/PaoliniPR09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {249},
  pages = {429-449},
}

@article{BakelLRU97,
  title = {Comparing Cubes of Typed and Type Assignment Systems},
  author = {Steffen van Bakel and Luigi Liquori and Simona Ronchi Della Rocca and Pawel Urzyczyn},
  year = {1997},
  tags = {type system},
  researchr = {https://researchr.org/publication/BakelLRU97},
  cites = {0},
  citedby = {0},
  journal = {Annals of Pure and Applied Logic},
  volume = {86},
  number = {3},
  pages = {267-303},
}

@inproceedings{BohmDR74,
  title = {Listing of information structures defined by fixed-point operators},
  author = {Corrado Böhm and Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca},
  year = {1974},
  researchr = {https://researchr.org/publication/BohmDR74},
  cites = {0},
  citedby = {0},
  pages = {266-279},
  booktitle = {Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974},
  editor = {Bernard Robinet},
  volume = {19},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-06859-7},
}
@proceedings{ictcs:2001,
  title = {Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings},
  year = {2001},
  tags = {e-science},
  researchr = {https://researchr.org/publication/ictcs%3A2001},
  cites = {0},
  citedby = {0},
  booktitle = {Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001, Proceedings},
  conference = {ictcs},
  editor = {Antonio Restivo and Simona Ronchi Della Rocca and Luca Roversi},
  volume = {2202},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42672-8},
}

@proceedings{icalp:1989,
  title = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
  year = {1989},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/icalp%3A1989},
  cites = {0},
  citedby = {0},
  booktitle = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings},
  conference = {icalp},
  editor = {Giorgio Ausiello and Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca},
  volume = {372},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-51371-X},
}

@proceedings{tlca:2007,
  title = {Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings},
  year = {2007},
  researchr = {https://researchr.org/publication/tlca%3A2007},
  cites = {0},
  citedby = {0},
  booktitle = {Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings},
  conference = {tlca},
  editor = {Simona Ronchi Della Rocca},
  volume = {4583},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-73227-3},
}