default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/entcs/entcs218.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BauerM08,
author = {Andrej Bauer and
Michael W. Mislove},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Preface},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {1--4},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.001},
doi = {10.1016/J.ENTCS.2008.10.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauerM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BuisseD08a,
author = {Alexandre Buisse and
Peter Dybjer},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {The Interpretation of Intuitionistic Type Theory in Locally Cartesian
Closed Categories - an Intuitionistic Perspective},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {21--32},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.003},
doi = {10.1016/J.ENTCS.2008.10.003},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BuisseD08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChatzikokolakisM08,
author = {Konstantinos Chatzikokolakis and
Keye Martin},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {A Monotonicity Principle for Information Theory},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {111--129},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.008},
doi = {10.1016/J.ENTCS.2008.10.008},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChatzikokolakisM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CoeckePP08,
author = {Bob Coecke and
Simon Perdrix and
{\'{E}}ric Oliver Paquette},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Bases in Diagrammatic Quantum Protocols},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {131--152},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.009},
doi = {10.1016/J.ENTCS.2008.10.009},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CoeckePP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DelbecqueP08,
author = {Yannick Delbecque and
Prakash Panangaden},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Game Semantics for Quantum Stores},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {153--170},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.010},
doi = {10.1016/J.ENTCS.2008.10.010},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DelbecqueP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DockinsAH08,
author = {Robert Dockins and
Andrew W. Appel and
Aquinas Hobor},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Multimodal Separation Logic for Reasoning About Operational Semantics},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {5--20},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.002},
doi = {10.1016/J.ENTCS.2008.10.002},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DockinsAH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FioreH08,
author = {Marcelo P. Fiore and
Chung{-}Kil Hur},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Term Equational Systems and Logics: (Extended Abstract)},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {171--192},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.011},
doi = {10.1016/J.ENTCS.2008.10.011},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FioreH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GalpinHB08,
author = {Vashti Galpin and
Jane Hillston and
Luca Bortolussi},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {{HYPE} Applied to the Modelling of Hybrid Biological Systems},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {33--51},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.004},
doi = {10.1016/J.ENTCS.2008.10.004},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GalpinHB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HaghverdiS08,
author = {Esfandiar Haghverdi and
Philip J. Scott},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Proofs as Polynomials},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {53--72},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.005},
doi = {10.1016/J.ENTCS.2008.10.005},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HaghverdiS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Heunen08,
author = {Chris Heunen},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Semimodule Enrichment},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {193--208},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.012},
doi = {10.1016/J.ENTCS.2008.10.012},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Heunen08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/JungMV08,
author = {Achim Jung and
M. Andrew Moshier and
Steven J. Vickers},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Presenting Dcpos and Dcpo Algebras},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {209--229},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.013},
doi = {10.1016/J.ENTCS.2008.10.013},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/JungMV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KrivineMT08,
author = {Jean Krivine and
Robin Milner and
Angelo Troina},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Stochastic Bigraphs},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {73--96},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.006},
doi = {10.1016/J.ENTCS.2008.10.006},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KrivineMT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LaneveV08,
author = {Cosimo Laneve and
Antonio Vitale},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Expressivity in the kappa Family},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {97--109},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.007},
doi = {10.1016/J.ENTCS.2008.10.007},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LaneveV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Leivant08,
author = {Daniel Leivant},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Propositional Dynamic Logic with Program Quantifiers},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {231--240},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.014},
doi = {10.1016/J.ENTCS.2008.10.014},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Leivant08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Levy08,
author = {Paul Blain Levy},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Global State Considered Helpful},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {241--259},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.015},
doi = {10.1016/J.ENTCS.2008.10.015},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Levy08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MartinP08,
author = {Keye Martin and
Prakash Panangaden},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {A Technique for Verifying Measurements},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {261--273},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.016},
doi = {10.1016/J.ENTCS.2008.10.016},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MartinP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Miculan08,
author = {Marino Miculan},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {A Categorical Model of the Fusion Calculus},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {275--293},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.017},
doi = {10.1016/J.ENTCS.2008.10.017},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Miculan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PlotkinP08,
author = {Gordon D. Plotkin and
John Power},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Tensors of Comodels and Models for Operational Semantics},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {295--311},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.018},
doi = {10.1016/J.ENTCS.2008.10.018},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PlotkinP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rossberg08,
author = {Andreas Rossberg},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {313--336},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.019},
doi = {10.1016/J.ENTCS.2008.10.019},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rossberg08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Scriven08,
author = {Adam Scriven},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {A Functional Algorithm for Exact Real Integration with Invariant Measures},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {337--353},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.020},
doi = {10.1016/J.ENTCS.2008.10.020},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Scriven08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SextonT08,
author = {Alan P. Sexton and
Hayo Thielecke},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Reasoning about {B+} Trees with Operational Semantics and Separation
Logic},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {355--369},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.021},
doi = {10.1016/J.ENTCS.2008.10.021},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SextonT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/VarmingB08,
author = {Carsten Varming and
Lars Birkedal},
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Higher-Order Separation Logic in Isabelle/HOLCF},
booktitle = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {371--389},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.10.022},
doi = {10.1016/J.ENTCS.2008.10.022},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/VarmingB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/2008,
editor = {Andrej Bauer and
Michael W. Mislove},
title = {Proceedings of the 24th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2008, Philadelphia, PA, USA, May
22-25, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {218},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/218/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/2008.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.
retrieved on 2024-12-26 05:11 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
