Search dblp for Publications

export results for "toc:db/journals/entcs/entcs325.bht:"

 download as .bib file

@inproceedings{DBLP:journals/entcs/Amorim16,
  author       = {Arthur Azevedo de Amorim},
  editor       = {Lars Birkedal},
  title        = {Binding Operators for Nominal Sets},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {3--27},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.029},
  doi          = {10.1016/J.ENTCS.2016.09.029},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Amorim16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BagnolBCL16,
  author       = {Marc Bagnol and
                  Richard Blute and
                  J. Robin B. Cockett and
                  J. S. Lemay},
  editor       = {Lars Birkedal},
  title        = {The Shuffle Quasimonad and Modules with Differentiation and Integration},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {29--45},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.030},
  doi          = {10.1016/J.ENTCS.2016.09.030},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BagnolBCL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Barker16,
  author       = {Tyler Barker},
  editor       = {Lars Birkedal},
  title        = {A Monad for Randomized Algorithms},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {47--62},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.031},
  doi          = {10.1016/J.ENTCS.2016.09.031},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Barker16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Birkedal16,
  author       = {Lars Birkedal},
  editor       = {Lars Birkedal},
  title        = {Preface},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.028},
  doi          = {10.1016/J.ENTCS.2016.09.028},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Birkedal16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CockettG16,
  author       = {J. Robin B. Cockett and
                  Jonathan Gallagher},
  editor       = {Lars Birkedal},
  title        = {Categorical Models of the Differential {\(\lambda\)}-Calculus Revisited},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {63--83},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.032},
  doi          = {10.1016/J.ENTCS.2016.09.032},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CockettG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DahlqvistDG16,
  author       = {Fredrik Dahlqvist and
                  Vincent Danos and
                  Ilias Garnier},
  editor       = {Lars Birkedal},
  title        = {Giry and the Machine},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {85--110},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.033},
  doi          = {10.1016/J.ENTCS.2016.09.033},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DahlqvistDG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Frey16,
  author       = {Jonas Frey},
  editor       = {Lars Birkedal},
  title        = {Classical Realizability in the {CPS} Target Language},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {111--126},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.034},
  doi          = {10.1016/J.ENTCS.2016.09.034},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Frey16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GeronL16,
  author       = {Bram Geron and
                  Paul Blain Levy},
  editor       = {Lars Birkedal},
  title        = {Iteration and Labelled Iteration},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {127--146},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.035},
  doi          = {10.1016/J.ENTCS.2016.09.035},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GeronL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GoncharovMR16,
  author       = {Sergey Goncharov and
                  Stefan Milius and
                  Christoph Rauch},
  editor       = {Lars Birkedal},
  title        = {Complete Elgot Monads and Coalgebraic Resumptions},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {147--168},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.036},
  doi          = {10.1016/J.ENTCS.2016.09.036},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/GoncharovMR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jacobs16,
  author       = {Bart Jacobs},
  editor       = {Lars Birkedal},
  title        = {Effectuses from Monads},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {169--183},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.037},
  doi          = {10.1016/J.ENTCS.2016.09.037},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Jacobs16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JacobsZ16,
  author       = {Bart Jacobs and
                  Fabio Zanasi},
  editor       = {Lars Birkedal},
  title        = {A Predicate/State Transformer Semantics for Bayesian Learning},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {185--200},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.038},
  doi          = {10.1016/J.ENTCS.2016.09.038},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/JacobsZ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/JaklJP16,
  author       = {Tomas Jakl and
                  Achim Jung and
                  Ales Pultr},
  editor       = {Lars Birkedal},
  title        = {Bitopology and Four-valued Logic},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {201--219},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.039},
  doi          = {10.1016/J.ENTCS.2016.09.039},
  timestamp    = {Tue, 23 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/JaklJP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Jay16,
  author       = {Barry Jay},
  editor       = {Lars Birkedal},
  title        = {Programs as Data Structures in {\(\lambda\)}SF-Calculus},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {221--236},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.040},
  doi          = {10.1016/J.ENTCS.2016.09.040},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Jay16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MestelR16,
  author       = {David Mestel and
                  A. W. Roscoe},
  editor       = {Lars Birkedal},
  title        = {Reducing Complex {CSP} Models to Traces via Priority},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {237--252},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.041},
  doi          = {10.1016/J.ENTCS.2016.09.041},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/MestelR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Rot16,
  author       = {Jurriaan Rot},
  editor       = {Lars Birkedal},
  title        = {Coalgebraic Minimization of Automata by Initiality and Finality},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {253--276},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.042},
  doi          = {10.1016/J.ENTCS.2016.09.042},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Rot16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Sato16,
  author       = {Tetsuya Sato},
  editor       = {Lars Birkedal},
  title        = {Approximate Relational Hoare Logic for Continuous Random Samplings},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {277--298},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.043},
  doi          = {10.1016/J.ENTCS.2016.09.043},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Sato16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Statman16,
  author       = {Rick Statman},
  editor       = {Lars Birkedal},
  title        = {On the Representation of Semigroups and Other Congruences in the Lambda
                  Calculus},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {299--304},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.044},
  doi          = {10.1016/J.ENTCS.2016.09.044},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Statman16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Statman16a,
  author       = {Rick Statman},
  editor       = {Lars Birkedal},
  title        = {How to Think of Intersection Types as Cartesian Products},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {305--312},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.045},
  doi          = {10.1016/J.ENTCS.2016.09.045},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Statman16a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Zanasi16,
  author       = {Fabio Zanasi},
  editor       = {Lars Birkedal},
  title        = {The Algebra of Partial Equivalence Relations},
  booktitle    = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  pages        = {313--333},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.entcs.2016.09.046},
  doi          = {10.1016/J.ENTCS.2016.09.046},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Zanasi16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mfps/2016,
  editor       = {Lars Birkedal},
  title        = {The Thirty-second Conference on the Mathematical Foundations of Programming
                  Semantics, {MFPS} 2016, Carnegie Mellon University, Pittsburgh, PA,
                  USA, May 23-26, 2016},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {325},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/325/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfps/2016.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.