Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:journals/entcs/BluteCJS18,
  author       = {Richard Blute and
                  J. Robin B. Cockett and
                  Pierre{-}Alain Jacqmin and
                  Philip J. Scott},
  editor       = {Sam Staton},
  title        = {Finiteness Spaces and Generalized Power Series},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {5--22},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.002},
  doi          = {10.1016/J.ENTCS.2018.11.002},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BluteCJS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BowlerLP18,
  author       = {Nathan J. Bowler and
                  Paul Blain Levy and
                  Gordon D. Plotkin},
  editor       = {Sam Staton},
  title        = {Initial Algebras and Final Coalgebras Consisting of Nondeterministic
                  Finite Trace Strategies},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {23--44},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.003},
  doi          = {10.1016/J.ENTCS.2018.11.003},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/BowlerLP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CockettL18,
  author       = {J. Robin B. Cockett and
                  Jean{-}Simon Lemay},
  editor       = {Sam Staton},
  title        = {Cartesian Integral Categories and Contextual Integral Categories},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {45--72},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.004},
  doi          = {10.1016/J.ENTCS.2018.11.004},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CockettL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CottrellFP18,
  author       = {Thomas Cottrell and
                  Soichiro Fujii and
                  John Power},
  editor       = {Sam Staton},
  title        = {Higher Dimensional Categories: Induction on Extensivity},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {73--90},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.005},
  doi          = {10.1016/J.ENTCS.2018.11.005},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/CottrellFP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/DahlqvistSDG18,
  author       = {Fredrik Dahlqvist and
                  Alexandra Silva and
                  Vincent Danos and
                  Ilias Garnier},
  editor       = {Sam Staton},
  title        = {Borel Kernels and their Approximation, Categorically},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {91--119},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.006},
  doi          = {10.1016/J.ENTCS.2018.11.006},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/DahlqvistSDG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FritzP18,
  author       = {Tobias Fritz and
                  Paolo Perrone},
  editor       = {Sam Staton},
  title        = {Bimonoidal Structure of Probability Monads},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {121--149},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.007},
  doi          = {10.1016/J.ENTCS.2018.11.007},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FritzP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hedges18,
  author       = {Jules Hedges},
  editor       = {Sam Staton},
  title        = {Morphisms of Open Games},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {151--177},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.008},
  doi          = {10.1016/J.ENTCS.2018.11.008},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Hedges18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HeunenKK18,
  author       = {Chris Heunen and
                  Robin Kaarsgaard and
                  Martti Karvonen},
  editor       = {Sam Staton},
  title        = {Reversible Effects as Inverse Arrows},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {179--199},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.009},
  doi          = {10.1016/J.ENTCS.2018.11.009},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HeunenKK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HofstraPS18,
  author       = {Pieter J. W. Hofstra and
                  Jason Parker and
                  Philip J. Scott},
  editor       = {Sam Staton},
  title        = {Isotropy of Algebraic Theories},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {201--217},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.010},
  doi          = {10.1016/J.ENTCS.2018.11.010},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/HofstraPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Hoshino18,
  author       = {Naohiko Hoshino},
  editor       = {Sam Staton},
  title        = {Partial Traces on Additive Categories},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {219--237},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.011},
  doi          = {10.1016/J.ENTCS.2018.11.011},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Hoshino18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KammarM18,
  author       = {Ohad Kammar and
                  Dylan McDermott},
  editor       = {Sam Staton},
  title        = {Factorisation Systems for Logical Relations and Monadic Lifting in
                  Type-and-effect System Semantics},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {239--260},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.012},
  doi          = {10.1016/J.ENTCS.2018.11.012},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KammarM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/KlinS18,
  author       = {Bartek Klin and
                  Julian Salamanca},
  editor       = {Sam Staton},
  title        = {Iterated Covariant Powerset is not a Monad},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {261--276},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.013},
  doi          = {10.1016/J.ENTCS.2018.11.013},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/KlinS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ManesM18,
  author       = {Ernie Manes and
                  Philip S. Mulry},
  editor       = {Sam Staton},
  title        = {Near Distributive Laws},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {277--295},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.014},
  doi          = {10.1016/J.ENTCS.2018.11.014},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/ManesM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/NishiwakiKM18,
  author       = {Yuichi Nishiwaki and
                  Yoshihiko Kakutani and
                  Yuito Murase},
  editor       = {Sam Staton},
  title        = {Modality via Iterated Enrichment},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {297--320},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.015},
  doi          = {10.1016/J.ENTCS.2018.11.015},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/NishiwakiKM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/PaquetW18,
  author       = {Hugo Paquet and
                  Glynn Winskel},
  editor       = {Sam Staton},
  title        = {Continuous Probability Distributions in Concurrent Games},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {321--344},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.016},
  doi          = {10.1016/J.ENTCS.2018.11.016},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/PaquetW18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Staton18,
  author       = {Sam Staton},
  editor       = {Sam Staton},
  title        = {Preface},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {1--3},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.001},
  doi          = {10.1016/J.ENTCS.2018.11.001},
  timestamp    = {Tue, 16 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Staton18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/UustaluVZ18,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  editor       = {Sam Staton},
  title        = {The Sequent Calculus of Skew Monoidal Categories},
  booktitle    = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  pages        = {345--370},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.entcs.2018.11.017},
  doi          = {10.1016/J.ENTCS.2018.11.017},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/UustaluVZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/mfps/2018,
  editor       = {Sam Staton},
  title        = {Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations
                  of Programming Semantics, {MFPS} 2018, Dalhousie University, Halifax,
                  Canada, June 6-9, 2018},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {341},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/341/suppl/C},
  timestamp    = {Mon, 13 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfps/2018.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.