Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/Kobayashi17,
  editor       = {Naoki Kobayashi},
  title        = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2016, Porto, Portugal, 26th June 2016},
  series       = {{EPTCS}},
  volume       = {242},
  year         = {2017},
  url          = {https://doi.org/10.4204/EPTCS.242},
  doi          = {10.4204/EPTCS.242},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kobayashi17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/AcayP17,
  author       = {Cosku Acay and
                  Frank Pfenning},
  editor       = {Naoki Kobayashi},
  title        = {Intersections and Unions of Session Types},
  booktitle    = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2016, Porto, Portugal, 26th June 2016},
  series       = {{EPTCS}},
  volume       = {242},
  pages        = {4--19},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.242.3},
  doi          = {10.4204/EPTCS.242.3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/AcayP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Bakel17,
  author       = {Steffen van Bakel},
  editor       = {Naoki Kobayashi},
  title        = {Characterisation of Approximation and (Head) Normalisation for {\(\lambda\)}{\(\mu\)}
                  using Strict Intersection Types},
  booktitle    = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2016, Porto, Portugal, 26th June 2016},
  series       = {{EPTCS}},
  volume       = {242},
  pages        = {20--30},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.242.4},
  doi          = {10.4204/EPTCS.242.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Bakel17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CoppoDDMZ17,
  author       = {Mario Coppo and
                  Mariangiola Dezani{-}Ciancaglini and
                  Alejandro D{\'{\i}}az{-}Caro and
                  Ines Margaria and
                  Maddalena Zacchi},
  editor       = {Naoki Kobayashi},
  title        = {Retractions in Intersection Types},
  booktitle    = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2016, Porto, Portugal, 26th June 2016},
  series       = {{EPTCS}},
  volume       = {242},
  pages        = {31--47},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.242.5},
  doi          = {10.4204/EPTCS.242.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CoppoDDMZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Parys17a,
  author       = {Pawel Parys},
  editor       = {Naoki Kobayashi},
  title        = {Intersection Types and Counting},
  booktitle    = {Proceedings Eighth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2016, Porto, Portugal, 26th June 2016},
  series       = {{EPTCS}},
  volume       = {242},
  pages        = {48--63},
  year         = {2016},
  url          = {https://doi.org/10.4204/EPTCS.242.6},
  doi          = {10.4204/EPTCS.242.6},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Parys17a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}