Search dblp for Publications

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

export results for "toc:db/conf/itrs/itrs2002.bht:"

> Home > Search

download as .bib file

@proceedings{DBLP:conf/itrs/2002,
  editor       = {Steffen van Bakel},
  title        = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/70/issue/1},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/itrs/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AlessiL02,
  author       = {Fabio Alessi and
                  Stefania Lusin},
  editor       = {Steffen van Bakel},
  title        = {Simple Easy Terms},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {1--18},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80487-0},
  doi          = {10.1016/S1571-0661(04)80487-0},
  timestamp    = {Tue, 06 Dec 2022 14:21:35 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AlessiL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bakel02a,
  author       = {Steffen van Bakel},
  editor       = {Steffen van Bakel},
  title        = {Strongly Normalising Cut-Elimination with Strict Intersection Types},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {19--36},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80488-2},
  doi          = {10.1016/S1571-0661(04)80488-2},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bakel02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bakel02b,
  author       = {Steffen van Bakel},
  editor       = {Steffen van Bakel},
  title        = {Preface},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {182--183},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80497-9},
  doi          = {10.1016/S1571-0661(05)80497-9},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bakel02b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Carlier02,
  author       = {S{\'{e}}bastien Carlier},
  editor       = {Steffen van Bakel},
  title        = {Polar Type Inference with Intersection Types and omega},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {37--52},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80489-4},
  doi          = {10.1016/S1571-0661(04)80489-4},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Carlier02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Courant02,
  author       = {Judica{\"{e}}l Courant},
  editor       = {Steffen van Bakel},
  title        = {Strong Normalization with Singleton Types},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {53--71},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80490-0},
  doi          = {10.1016/S1571-0661(04)80490-0},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Courant02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Dezani-CiancagliniFGM02,
  author       = {Mariangiola Dezani{-}Ciancaglini and
                  Alain Frisch and
                  Elio Giovannetti and
                  Yoko Motohama},
  editor       = {Steffen van Bakel},
  title        = {The Relevance of Semantic Subtyping},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {88--105},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80492-4},
  doi          = {10.1016/S1571-0661(04)80492-4},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Dezani-CiancagliniFGM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GhilezanL02,
  author       = {Silvia Ghilezan and
                  Silvia Likavec},
  editor       = {Steffen van Bakel},
  title        = {Reducibility: {A} Ubiquitous Method in Lambda Calculus with Intersection
                  Types},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {106--123},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80493-6},
  doi          = {10.1016/S1571-0661(04)80493-6},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GhilezanL02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KfouryWW02,
  author       = {Assaf J. Kfoury and
                  Geoffrey Washburn and
                  Joe B. Wells},
  editor       = {Steffen van Bakel},
  title        = {Implementing Compositional Analysis Using Intersection Types With
                  Expansion Variables},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {124--148},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80494-8},
  doi          = {10.1016/S1571-0661(04)80494-8},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/KfouryWW02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Leivant02,
  author       = {Daniel Leivant},
  editor       = {Steffen van Bakel},
  title        = {Feasible functionals and intersection of ramified types},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {149--162},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80495-X},
  doi          = {10.1016/S1571-0661(04)80495-X},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Leivant02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Pfenning02a,
  author       = {Frank Pfenning},
  editor       = {Steffen van Bakel},
  title        = {Invited talk: Tri-Directional Type Checking},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {http://www1.elsevier.com/gej-ng/31/29/23/125/51/show/Products/notes/index.htt\#012},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Pfenning02a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rocca02,
  author       = {Simona Ronchi Della Rocca},
  editor       = {Steffen van Bakel},
  title        = {Intersection Typed lambda-calculus},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {163--181},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80496-1},
  doi          = {10.1016/S1571-0661(04)80496-1},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Rocca02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/deLiguor02,
  author       = {Ugo de'Liguoro},
  editor       = {Steffen van Bakel},
  title        = {Subtyping in Logical Form},
  booktitle    = {Intersection Types and Related Systems, {ITRS} 2002, FLoC Satellite
                  Event, Copenhagen, Denmark, July 26, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {70},
  number       = {1},
  pages        = {72--87},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80491-2},
  doi          = {10.1016/S1571-0661(04)80491-2},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/deLiguor02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.