default search action
Search dblp for Publications
export results for "toc:db/journals/entcs/entcs347.bht:"
@inproceedings{DBLP:journals/entcs/BeoharK19, author = {Harsh Beohar and Sebastian K{\"{u}}pper}, editor = {Barbara K{\"{o}}nig}, title = {Bisimulation Maps in Presheaf Categories}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {5--24}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.002}, doi = {10.1016/J.ENTCS.2019.09.002}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BeoharK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BiernackiLP19, author = {Dariusz Biernacki and Sergue{\"{\i}} Lenglet and Piotr Polesiuk}, editor = {Barbara K{\"{o}}nig}, title = {Diacritical Companions}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {25--43}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.003}, doi = {10.1016/J.ENTCS.2019.09.003}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/BiernackiLP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/ChenCP19, author = {Linan Chen and Florence Clerc and Prakash Panangaden}, editor = {Barbara K{\"{o}}nig}, title = {Bisimulation for Feller-Dynkin Processes}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {45--63}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.004}, doi = {10.1016/J.ENTCS.2019.09.004}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/ChenCP19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Chouquet19, author = {Jules Chouquet}, editor = {Barbara K{\"{o}}nig}, title = {Taylor Expansion, Finiteness and Strategies}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {65--85}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.005}, doi = {10.1016/J.ENTCS.2019.09.005}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Chouquet19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/CohenFT19, author = {Liron Cohen and Sofia Abreu Faro and Ross Tate}, editor = {Barbara K{\"{o}}nig}, title = {The Effects of Effects on Constructivism}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {87--120}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.006}, doi = {10.1016/J.ENTCS.2019.09.006}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/CohenFT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/HermidaRR19, author = {Claudio Hermida and Uday S. Reddy and Edmund P. Robinson}, editor = {Barbara K{\"{o}}nig}, title = {Deriving Logical Relations from Interpretations of Predicate Logic}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {241--259}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.013}, doi = {10.1016/J.ENTCS.2019.09.013}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/HermidaRR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Jacobs19, author = {Bart Jacobs}, editor = {Barbara K{\"{o}}nig}, title = {Learning along a Channel: the Expectation part of Expectation-Maximisation}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {143--160}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.008}, doi = {10.1016/J.ENTCS.2019.09.008}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Jacobs19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/JacobsS19, author = {Bart Jacobs and David Sprunger}, editor = {Barbara K{\"{o}}nig}, title = {Neural Nets via Forward State Transformation and Backward Loss Transformation}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {161--177}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.009}, doi = {10.1016/J.ENTCS.2019.09.009}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/JacobsS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Kaarsgaard19, author = {Robin Kaarsgaard}, editor = {Barbara K{\"{o}}nig}, title = {Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {179--202}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.010}, doi = {10.1016/J.ENTCS.2019.09.010}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Kaarsgaard19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Konig19, author = {Barbara K{\"{o}}nig}, editor = {Barbara K{\"{o}}nig}, title = {Preface}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {1--3}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.001}, doi = {10.1016/J.ENTCS.2019.09.001}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Konig19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LagoG19, author = {Ugo Dal Lago and Francesco Gavazzo}, editor = {Barbara K{\"{o}}nig}, title = {On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {121--141}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.007}, doi = {10.1016/J.ENTCS.2019.09.007}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/LagoG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Laird19, author = {Jim Laird}, editor = {Barbara K{\"{o}}nig}, title = {From Global to Local State, Coalgebraically and Compositionally}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {203--222}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.011}, doi = {10.1016/J.ENTCS.2019.09.011}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Laird19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/North19, author = {Paige Randall North}, editor = {Barbara K{\"{o}}nig}, title = {Towards a Directed Homotopy Type Theory}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {223--239}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.012}, doi = {10.1016/J.ENTCS.2019.09.012}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/North19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Voorneveld19, author = {Niels F. W. Voorneveld}, editor = {Barbara K{\"{o}}nig}, title = {Quantitative Logics for Equivalence of Effectful Programs}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {281--301}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.015}, doi = {10.1016/J.ENTCS.2019.09.015}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/entcs/Voorneveld19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/WangHR19, author = {Di Wang and Jan Hoffmann and Thomas W. Reps}, editor = {Barbara K{\"{o}}nig}, title = {A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {303--324}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.016}, doi = {10.1016/J.ENTCS.2019.09.016}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/WangHR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/WeideG19, author = {Niels van der Weide and Herman Geuvers}, editor = {Barbara K{\"{o}}nig}, title = {The Construction of Set-Truncated Higher Inductive Types}, booktitle = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, pages = {261--280}, publisher = {Elsevier}, year = {2019}, url = {https://doi.org/10.1016/j.entcs.2019.09.014}, doi = {10.1016/J.ENTCS.2019.09.014}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/WeideG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/mfps/2019, editor = {Barbara K{\"{o}}nig}, title = {Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, {MFPS} 2019, London, UK, June 4-7, 2019}, series = {Electronic Notes in Theoretical Computer Science}, volume = {347}, publisher = {Elsevier}, year = {2019}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/347/suppl/C}, timestamp = {Mon, 13 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/mfps/2019.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.