Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs127.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/Aschieri13,
  author       = {Federico Aschieri},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Strong Normalization for {HA} + {EM1} by Non-Deterministic Choice},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {1--14},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.1},
  doi          = {10.4204/EPTCS.127.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:14 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Aschieri13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BiernackaBLM13,
  author       = {Malgorzata Biernacka and
                  Dariusz Biernacki and
                  Sergue{\"{\i}} Lenglet and
                  Marek Materzok},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Proving termination of evaluation for System {F} with control operators},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {15--29},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.2},
  doi          = {10.4204/EPTCS.127.2},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BiernackaBLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Birolo13,
  author       = {Giovanni Birolo},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Interpreting a Classical Geometric Proof with Interactive Realizability},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {30--44},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.3},
  doi          = {10.4204/EPTCS.127.3},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Birolo13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/EadesS13,
  author       = {Harley Eades III and
                  Aaron Stump},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Hereditary Substitution for the {\(\lambda\)}{\(\Delta\)}-Calculus},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {45--65},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.4},
  doi          = {10.4204/EPTCS.127.4},
  timestamp    = {Thu, 25 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/EadesS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GeronG13,
  author       = {Bram Geron and
                  Herman Geuvers},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Continuation calculus},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {66--85},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.5},
  doi          = {10.4204/EPTCS.127.5},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GeronG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/KakutaniK13,
  author       = {Yoshihiko Kakutani and
                  Daisuke Kimura},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Induction by Coinduction and Control Operators in Call-by-Name},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {101--112},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.7},
  doi          = {10.4204/EPTCS.127.7},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KakutaniK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Laird13,
  author       = {James Laird},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Combining and Relating Control Effects and their Semantics},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {113--129},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.8},
  doi          = {10.4204/EPTCS.127.8},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Laird13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1210-2094,
  author       = {Danko Ilik},
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {A formalized type-directed partial evaluator for shift and reset},
  booktitle    = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  pages        = {86--100},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127.6},
  doi          = {10.4204/EPTCS.127.6},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-2094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/deLiguoroS13,
  editor       = {Ugo de'Liguoro and
                  Alexis Saurin},
  title        = {Proceedings First Workshop on Control Operators and their Semantics,
                  {COS} 2013, Eindhoven, The Netherlands, June 24-25, 2013},
  series       = {{EPTCS}},
  volume       = {127},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.127},
  doi          = {10.4204/EPTCS.127},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/deLiguoroS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.