Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/Graham-LengrandP13,
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Luca Paolini},
  title        = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
  series       = {{EPTCS}},
  volume       = {121},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.121},
  doi          = {10.4204/EPTCS.121},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Graham-LengrandP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/AnconaGZ13,
  author       = {Davide Ancona and
                  Paola Giannini and
                  Elena Zucca},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Luca Paolini},
  title        = {Reconciling positional and nominal binding},
  booktitle    = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
  series       = {{EPTCS}},
  volume       = {121},
  pages        = {81--93},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.121.6},
  doi          = {10.4204/EPTCS.121.6},
  timestamp    = {Wed, 14 Nov 2018 10:31:26 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/AnconaGZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BakelBd13,
  author       = {Steffen van Bakel and
                  Franco Barbanera and
                  Ugo de'Liguoro},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Luca Paolini},
  title        = {Characterisation of Strongly Normalising lambda-mu-Terms},
  booktitle    = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
  series       = {{EPTCS}},
  volume       = {121},
  pages        = {1--17},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.121.1},
  doi          = {10.4204/EPTCS.121.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BakelBd13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BenedettiR13,
  author       = {Erika De Benedetti and
                  Simona Ronchi Della Rocca},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Luca Paolini},
  title        = {Bounding normalization time through intersection types},
  booktitle    = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
  series       = {{EPTCS}},
  volume       = {121},
  pages        = {48--57},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.121.4},
  doi          = {10.4204/EPTCS.121.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BenedettiR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CoppoDMZ13,
  author       = {Mario Coppo and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ines Margaria and
                  Maddalena Zacchi},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Luca Paolini},
  title        = {Toward Isomorphism of Intersection and Union types},
  booktitle    = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
  series       = {{EPTCS}},
  volume       = {121},
  pages        = {58--80},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.121.5},
  doi          = {10.4204/EPTCS.121.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CoppoDMZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/DudderGMRU13,
  author       = {Boris D{\"{u}}dder and
                  Oliver Garbe and
                  Moritz Martens and
                  Jakob Rehof and
                  Pawel Urzyczyn},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Luca Paolini},
  title        = {Using Inhabitation in Bounded Combinatory Logic with Intersection
                  Types for Composition Synthesis},
  booktitle    = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
  series       = {{EPTCS}},
  volume       = {121},
  pages        = {18--34},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.121.2},
  doi          = {10.4204/EPTCS.121.2},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DudderGMRU13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Dunfield13,
  author       = {Jana Dunfield},
  editor       = {St{\'{e}}phane Graham{-}Lengrand and
                  Luca Paolini},
  title        = {Annotations for Intersection Typechecking},
  booktitle    = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
                  {ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
  series       = {{EPTCS}},
  volume       = {121},
  pages        = {35--47},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.121.3},
  doi          = {10.4204/EPTCS.121.3},
  timestamp    = {Fri, 11 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/Dunfield13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}