@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 = {lmcs},
  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 = {FUIN},
  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 = {tacs},
}

@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 = {ENTCS},
  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 = {mscs},
  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 = {lics},
}

@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 = {iandc},
  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 = {FUIN},
  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 = {TCS},
  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 = {ENTCS},
  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 = {TCS},
  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 = {tocl},
  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 = {csl},
}

@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 = {tlca},
}

@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 = {iandc},
  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 = {ENTCS},
  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 = {procomet},
}

@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 = {iandc},
  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 = {fossacs},
}

@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 = {tlca},
}

@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 = {lfcs},
}

@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},
}

@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},
}

@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 = {icalp},
}

@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 = {jcss},
  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 = {JFP},
  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 = {fossacs},
}

@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 = {csl},
}

@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 = {ENTCS},
  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 = {iandc},
  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 = {POPL},
}

@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 = {TCS},
  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 = {mfcs},
}

@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 = {sLogica},
  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},
}

@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 = {lics},
}

@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 = {ENTCS},
  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 = {iandc},
  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 = {tlca},
}

@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 = {FUIN},
  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 = {csl},
}

@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 = {ENTCS},
  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 = {APAL},
  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 = {programm},
}
@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},
}