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: "lmcs"
  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: "FUIN"
  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: "tacs"
  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: "ENTCS"
  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: "mscs"
  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: "lics"
  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: "iandc"
  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: "FUIN"
  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: "TCS"
  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: "ENTCS"
  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: "TCS"
  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: "tocl"
  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: "csl"
  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: "tlca"
  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: "iandc"
  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: "ENTCS"
  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: "procomet"
  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: "iandc"
  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: "fossacs"
  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: "tlca"
  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: "lfcs"
  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"
  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"
  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: "icalp"
  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: "jcss"
  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: "JFP"
  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: "fossacs"
  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: "csl"
  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: "ENTCS"
  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: "iandc"
  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: "POPL"
  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: "TCS"
  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: "mfcs"
  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: "sLogica"
  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"
  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: "lics"
  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: "ENTCS"
  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: "iandc"
  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: "tlca"
  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: "FUIN"
  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: "csl"
  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: "ENTCS"
  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: "APAL"
  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: "programm"
  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"