publications:
- title: "Light Logics and the Call-by-Value Lambda Calculus"
  author:
  - name: "Paolo Coppola"
    link: "https://researchr.org/alias/paolo-coppola"
  - name: "Ugo Dal Lago"
    link: "https://researchr.org/alias/ugo-dal-lago"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2008"
  doi: "http://dx.doi.org/10.2168/LMCS-4(4:5)2008"
  links:
    doi: "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"
  kind: "article"
  key: "CoppolaLR08"
- title: "Operational, denotational and logical descriptions: a case study"
  author:
  - name: "Lavinia Egidi"
    link: "https://researchr.org/alias/lavinia-egidi"
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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"
  kind: "article"
  key: "EgidiHR92"
- title: "Type Inference in Polymorphic Type Discipline"
  author:
  - name: "Paola Giannini"
    link: "https://researchr.org/alias/paola-giannini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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:
  - name: "Takayasu Ito"
    link: "https://researchr.org/alias/takayasu-ito"
  - name: "Albert R. Meyer"
    link: "https://researchr.org/alias/albert-r.-meyer"
  volume: "526"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54415-1"
  kind: "inproceedings"
  key: "GianniniR91"
- title: "Lazy Strong Normalization"
  author:
  - name: "Luca Paolini"
    link: "http://www.di.unito.it/~paolini/"
  - name: "Elaine Pimentel"
    link: "https://researchr.org/alias/elaine-pimentel"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.06.013"
  links:
    doi: "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"
  kind: "article"
  key: "PaoliniPR05"
- title: "The call-by-value [lambda]-calculus: a semantic investigation"
  author:
  - name: "Alberto Pravato"
    link: "https://researchr.org/alias/alberto-pravato"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Luca Roversi"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "PravatoRR99"
- title: "Characterization of typings in polymorphic type discipline"
  author:
  - name: "Paola Giannini"
    link: "https://researchr.org/alias/paola-giannini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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"
  kind: "inproceedings"
  key: "GianniniR88"
- title: "Parametric parameter passing Lambda-calculus"
  author:
  - name: "Luca Paolini"
    link: "http://www.di.unito.it/~paolini/"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.ic.2003.08.003"
  links:
    doi: "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"
  kind: "article"
  key: "PaoliniR04:0"
- title: "Type Inference: Some Results, Some Problems"
  author:
  - name: "Paola Giannini"
    link: "https://researchr.org/alias/paola-giannini"
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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"
  kind: "article"
  key: "GianniniHR93"
- title: "Principal Type Schemes for an Extended Type Theory"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Betti Venneri"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "RoccaV84"
- title: "Intersection Typed lambda-calculus"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2002"
  doi: "http://www1.elsevier.com/gej-ng/31/29/23/125/51/show/Products/notes/index.htt#011"
  links:
    doi: "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"
  kind: "article"
  key: "Rocca02"
- title: "Principal Type Scheme and Unification for Intersection Type Discipline"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "1988"
  researchr: "https://researchr.org/publication/Rocca88"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "59"
  pages: "181-209"
  kind: "article"
  key: "Rocca88"
- title: "Guest editorial: Special issue on implicit computational complexity"
  author:
  - name: "Patrick Baillot"
    link: "https://researchr.org/alias/patrick-baillot"
  - name: "Jean-Yves Marion"
    link: "https://researchr.org/alias/jean-yves-marion"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2009"
  doi: "http://doi.acm.org/10.1145/1555746.1555747"
  links:
    doi: "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"
  kind: "article"
  key: "BaillotMR09"
- title: "A Soft Type Assignment System for ::::lambda:::: -Calculus"
  author:
  - name: "Marco Gaboardi"
    link: "https://researchr.org/alias/marco-gaboardi"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-74915-8_21"
  links:
    doi: "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:
  - name: "Jacques Duparc"
    link: "https://researchr.org/alias/jacques-duparc"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  volume: "4646"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-74914-1"
  kind: "inproceedings"
  key: "GaboardiR07"
- title: "Categorical semantics of the call-by-value lambda-calculus"
  author:
  - name: "Alberto Pravato"
    link: "https://researchr.org/alias/alberto-pravato"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Luca Roversi"
    link: "https://researchr.org/alias/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:
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Gordon D. Plotkin"
    link: "https://researchr.org/alias/gordon-d.-plotkin"
  volume: "902"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59048-X"
  kind: "inproceedings"
  key: "PravatoRR95"
- title: "Alpha-Conversion and Typability"
  author:
  - name: "A. J. Kfoury"
    link: "https://researchr.org/alias/a.-j.-kfoury"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Jerzy Tiuryn"
    link: "https://researchr.org/alias/jerzy-tiuryn"
  - name: "Pawel Urzyczyn"
    link: "https://researchr.org/alias/pawel-urzyczyn"
  year: "1999"
  researchr: "https://researchr.org/publication/KfouryRTU99"
  cites: 0
  citedby: 0
  journal: "Inf. Comput."
  volume: "150"
  number: "1"
  pages: "1-21"
  kind: "article"
  key: "KfouryRTU99"
- title: "Lazy Logical Semantics"
  author:
  - name: "Luca Paolini"
    link: "http://www.di.unito.it/~paolini/"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.10.003"
  links:
    doi: "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"
  kind: "article"
  key: "PaoliniR04"
- title: "Structures for lazy semantics"
  author:
  - name: "O. Bastonero"
    link: "https://researchr.org/alias/o.-bastonero"
  - name: "Alberto Pravato"
    link: "https://researchr.org/alias/alberto-pravato"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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:
  - name: "David Gries"
    link: "https://researchr.org/alias/david-gries"
  - name: "Willem P. de Roever"
    link: "https://researchr.org/alias/willem-p.-de-roever"
  volume: "125"
  series: "IFIP Conference Proceedings"
  publisher: "Chapman and Hall"
  isbn: "0-412-83760-9"
  kind: "inproceedings"
  key: "BastoneroPR98"
- title: "A Type Inference Algorithm for a Stratified Polymorphic Type Discipline"
  author:
  - name: "Paola Giannini"
    link: "https://researchr.org/alias/paola-giannini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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"
  kind: "article"
  key: "GianniniR94"
- title: "Solvability in Resource Lambda-Calculus"
  author:
  - name: "Michele Pagani"
    link: "https://researchr.org/alias/michele-pagani"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-12032-9_25"
  links:
    doi: "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:
  - name: "C.-H. Luke Ong"
    link: "https://researchr.org/alias/c.-h.-luke-ong"
  volume: "6014"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-12031-2"
  kind: "inproceedings"
  key: "PaganiR10"
- title: "Elementary Affine Logic and the Call-by-Value Lambda Calculus"
  author:
  - name: "Paolo Coppola"
    link: "https://researchr.org/alias/paolo-coppola"
  - name: "Ugo Dal Lago"
    link: "https://researchr.org/alias/ugo-dal-lago"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3461&spage=131"
  links:
    doi: "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:
  - name: "Pawel Urzyczyn"
    link: "https://researchr.org/alias/pawel-urzyczyn"
  volume: "3461"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25593-1"
  kind: "inproceedings"
  key: "CoppolaLR05"
- title: "Comparing Cubes"
  author:
  - name: "Steffen van Bakel"
    link: "https://researchr.org/alias/steffen-van-bakel"
  - name: "Luigi Liquori"
    link: "https://researchr.org/alias/luigi-liquori"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Pawel Urzyczyn"
    link: "https://researchr.org/alias/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:
  - name: "Anil Nerode"
    link: "https://researchr.org/alias/anil-nerode"
  - name: "Yuri Matiyasevich"
    link: "https://researchr.org/alias/yuri-matiyasevich"
  volume: "813"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58140-5"
  kind: "inproceedings"
  key: "BakelLRU94"
- title: "Call-by-value Solvability"
  author:
  - name: "Luca Paolini"
    link: "http://www.di.unito.it/~paolini/"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "1999"
  researchr: "https://researchr.org/publication/PaoliniR99"
  cites: 0
  citedby: 0
  journal: "ITA"
  volume: "33"
  number: "6"
  pages: "507-534"
  kind: "article"
  key: "PaoliniR99"
- title: "Discriminability of Infinite Sets of Terms in the D::infinity::-Models of the lambda-calculus"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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:
  - name: "Egidio Astesiano"
    link: "https://researchr.org/alias/egidio-astesiano"
  - name: "Corrado Böhm"
    link: "https://researchr.org/alias/corrado-b%C3%B6hm"
  volume: "112"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10828-9"
  kind: "inproceedings"
  key: "Rocca81"
- title: "An Unification Semi-Algorithm for Intersection Type Schemes"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Robert A. Kowalski"
    link: "https://researchr.org/alias/robert-a.-kowalski"
  - name: "Giorgio Levi"
    link: "https://researchr.org/alias/giorgio-levi"
  - name: "Ugo Montanari"
    link: "https://researchr.org/alias/ugo-montanari"
  volume: "249"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-17660-8"
  kind: "inproceedings"
  key: "Rocca87"
- title: "Operational semantics and extensionality"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2000"
  doi: "http://doi.acm.org/10.1145/351268.351272"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Rocca00"
- title: "(Semi)-separability of Finite Sets of Terms in Scott s D_infty-Models of the lambda-Calculus"
  author:
  - name: "Mario Coppo"
    link: "https://researchr.org/alias/mario-coppo"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Corrado Böhm"
    link: "https://researchr.org/alias/corrado-b%C3%B6hm"
  volume: "62"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-08860-1"
  kind: "inproceedings"
  key: "CoppoDR78"
- title: "An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus"
  author:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "1992"
  researchr: "https://researchr.org/publication/HonsellR92"
  cites: 0
  citedby: 0
  journal: "J. Comput. Syst. Sci."
  volume: "45"
  number: "1"
  pages: "49-75"
  kind: "article"
  key: "HonsellR92"
- title: "Structured Operational Semantics of a Fragment of the Language Scheme"
  author:
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Alberto Pravato"
    link: "https://researchr.org/alias/alberto-pravato"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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"
  kind: "article"
  key: "HonsellPR98"
- title: "An Operational Characterization of Strong Normalization"
  author:
  - name: "Luca Paolini"
    link: "http://www.di.unito.it/~paolini/"
  - name: "Elaine Pimentel"
    link: "https://researchr.org/alias/elaine-pimentel"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11690634_25"
  links:
    doi: "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:
  - name: "Luca Aceto"
    link: "https://researchr.org/alias/luca-aceto"
  - name: "Anna Ingólfsdóttir"
    link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir"
  volume: "3921"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-33045-3"
  kind: "inproceedings"
  key: "PaoliniPR06"
- title: "Complexity of lambda-term reductions"
  author:
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Lorenza Saitta"
    link: "https://researchr.org/alias/lorenza-saitta"
  year: "1979"
  researchr: "https://researchr.org/publication/Dezani-CiancagliniRS79"
  cites: 0
  citedby: 0
  journal: "ITA"
  volume: "13"
  number: "3"
  pages: "257-287"
  kind: "article"
  key: "Dezani-CiancagliniRS79"
- title: "Intersection, Universally Quantified, and Reference Types"
  author:
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Paola Giannini"
    link: "https://researchr.org/alias/paola-giannini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-04027-6_17"
  links:
    doi: "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:
  - name: "Erich Grädel"
    link: "https://researchr.org/alias/erich-gr%C3%A3%C2%A4del"
  - name: "Reinhard Kahle"
    link: "https://researchr.org/alias/reinhard-kahle"
  volume: "5771"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-04026-9"
  kind: "inproceedings"
  key: "Dezani-CiancagliniGR09"
- title: "Towards an Intersection Typed System ::::à la:::: Church"
  author:
  - name: "Luigi Liquori"
    link: "https://researchr.org/alias/luigi-liquori"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.06.015"
  links:
    doi: "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"
  kind: "article"
  key: "LiquoriR05"
- title: "Characterization Theorems for a Filter Lambda Model"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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"
  kind: "article"
  key: "Rocca82"
- title: "A logical account of pspace"
  author:
  - name: "Marco Gaboardi"
    link: "https://researchr.org/alias/marco-gaboardi"
  - name: "Jean-Yves Marion"
    link: "https://researchr.org/alias/jean-yves-marion"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2008"
  doi: "http://doi.acm.org/10.1145/1328438.1328456"
  links:
    doi: "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:
  - name: "George C. Necula"
    link: "https://researchr.org/alias/george-c.-necula"
  - name: "Philip Wadler"
    link: "http://homepages.inf.ed.ac.uk/wadler/"
  publisher: "ACM"
  isbn: "978-1-59593-689-9"
  kind: "inproceedings"
  key: "GaboardiMR08:0"
- title: "A Discrimination Algorithm Inside lambda-beta-Calculus"
  author:
  - name: "Corrado Böhm"
    link: "https://researchr.org/alias/corrado-b%C3%B6hm"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "P. Peretti"
    link: "https://researchr.org/alias/p.-peretti"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "1979"
  researchr: "https://researchr.org/publication/BohmDPR79"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "8"
  pages: "265-292"
  kind: "article"
  key: "BohmDPR79"
- title: "The lazy call-by-value Lamda-Calculus"
  author:
  - name: "Lavinia Egidi"
    link: "https://researchr.org/alias/lavinia-egidi"
  - name: "Furio Honsell"
    link: "https://researchr.org/alias/furio-honsell"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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:
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "520"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-54345-7"
  kind: "inproceedings"
  key: "EgidiHR91"
- title: "Lambda Calculus and Intuitionistic Linear Logic"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Luca Roversi"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "RoccaR97"
- title: "Type Inference for a Polynomial Lambda Calculus"
  author:
  - name: "Marco Gaboardi"
    link: "https://researchr.org/alias/marco-gaboardi"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-02444-3_9"
  links:
    doi: "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:
  - name: "Stefano Berardi"
    link: "https://researchr.org/alias/stefano-berardi"
  - name: "Ferruccio Damiani"
    link: "https://researchr.org/alias/ferruccio-damiani"
  - name: "Ugo de Liguoro"
    link: "https://researchr.org/alias/ugo-de-liguoro"
  volume: "5497"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02443-6"
  kind: "inproceedings"
  key: "GaboardiR08"
- title: "Type Inference and Extensionality"
  author:
  - name: "Adolfo Piperno"
    link: "https://researchr.org/alias/adolfo-piperno"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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"
  kind: "inproceedings"
  key: "PipernoR94"
- title: "Soft Linear Logic and Polynomial Complexity Classes"
  author:
  - name: "Marco Gaboardi"
    link: "https://researchr.org/alias/marco-gaboardi"
  - name: "Jean-Yves Marion"
    link: "https://researchr.org/alias/jean-yves-marion"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.066"
  links:
    doi: "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"
  kind: "article"
  key: "GaboardiMR08"
- title: "Intersection-types à la Church"
  author:
  - name: "Luigi Liquori"
    link: "https://researchr.org/alias/luigi-liquori"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.ic.2007.03.005"
  links:
    doi: "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"
  kind: "article"
  key: "LiquoriR07"
- title: "Principal Typing in Elementary Affine Logic"
  author:
  - name: "Paolo Coppola"
    link: "https://researchr.org/alias/paolo-coppola"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2003"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2701/27010090.htm"
  links:
    doi: "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:
  - name: "Martin Hofmann"
    link: "https://researchr.org/alias/martin-hofmann"
  volume: "2701"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-40332-9"
  kind: "inproceedings"
  key: "CoppolaR03"
- title: "Principal Typing for Lambda Calculus in Elementary Affine Logic"
  author:
  - name: "Paolo Coppola"
    link: "https://researchr.org/alias/paolo-coppola"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2005"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=65&issue=1&spage=87"
  links:
    doi: "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"
  kind: "article"
  key: "CoppolaR05"
- title: "Intersection Logic"
  author:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Luca Roversi"
    link: "https://researchr.org/alias/luca-roversi"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2142/21420414.htm"
  links:
    doi: "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:
  - name: "Laurent Fribourg"
    link: "https://researchr.org/alias/laurent-fribourg"
  volume: "2142"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42554-3"
  kind: "inproceedings"
  key: "RoccaR01"
- title: "Logical Semantics for Stability"
  author:
  - name: "Luca Paolini"
    link: "http://www.di.unito.it/~paolini/"
  - name: "Mauro Piccolo"
    link: "https://researchr.org/alias/mauro-piccolo"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.07.101"
  links:
    doi: "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"
  kind: "article"
  key: "PaoliniPR09"
- title: "Comparing Cubes of Typed and Type Assignment Systems"
  author:
  - name: "Steffen van Bakel"
    link: "https://researchr.org/alias/steffen-van-bakel"
  - name: "Luigi Liquori"
    link: "https://researchr.org/alias/luigi-liquori"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Pawel Urzyczyn"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "BakelLRU97"
- title: "Listing of information structures defined by fixed-point operators"
  author:
  - name: "Corrado Böhm"
    link: "https://researchr.org/alias/corrado-b%C3%B6hm"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  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:
  - name: "Bernard Robinet"
    link: "https://researchr.org/alias/bernard-robinet"
  volume: "19"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-06859-7"
  kind: "inproceedings"
  key: "BohmDR74"
- 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:
  - name: "Antonio Restivo"
    link: "https://researchr.org/alias/antonio-restivo"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  - name: "Luca Roversi"
    link: "https://researchr.org/alias/luca-roversi"
  volume: "2202"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42672-8"
  kind: "proceedings"
  key: "ictcs:2001"
- 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:
  - name: "Giorgio Ausiello"
    link: "https://researchr.org/alias/giorgio-ausiello"
  - name: "Mariangiola Dezani-Ciancaglini"
    link: "https://researchr.org/alias/mariangiola-dezani-ciancaglini"
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  volume: "372"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51371-X"
  kind: "proceedings"
  key: "icalp:1989"
- 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:
  - name: "Simona Ronchi Della Rocca"
    link: "http://www.di.unito.it/~ronchi/"
  volume: "4583"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-73227-3"
  kind: "proceedings"
  key: "tlca:2007"