Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:conf/ctcs/2004,
  editor       = {Lars Birkedal},
  title        = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  publisher    = {Elsevier},
  year         = {2005},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/122/suppl/C},
  timestamp    = {Fri, 17 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ctcs/2004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AdamekMV05,
  author       = {Jir{\'{\i}} Ad{\'{a}}mek and
                  Stefan Milius and
                  Jir{\'{\i}} Velebil},
  editor       = {Lars Birkedal},
  title        = {Iterative Algebras for a Base},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {147--170},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.056},
  doi          = {10.1016/J.ENTCS.2004.06.056},
  timestamp    = {Mon, 04 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/AdamekMV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Birkedal05,
  author       = {Lars Birkedal},
  editor       = {Lars Birkedal},
  title        = {Preface},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {1},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.11.009},
  doi          = {10.1016/J.ENTCS.2004.11.009},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Birkedal05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CaccamoW05,
  author       = {Mario C{\'{a}}ccamo and
                  Glynn Winskel},
  editor       = {Lars Birkedal},
  title        = {Limit Preservation from Naturality},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {3--22},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.048},
  doi          = {10.1016/J.ENTCS.2004.06.048},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CaccamoW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/CockettP05,
  author       = {J. Robin B. Cockett and
                  Craig A. Pastro},
  editor       = {Lars Birkedal},
  title        = {A Language For Multiplicative-additive Linear Logic},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {23--65},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.049},
  doi          = {10.1016/J.ENTCS.2004.06.049},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CockettP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/FerreiraR05,
  author       = {Ana Paula L{\"{u}}dtke Ferreira and
                  Leila Ribeiro},
  editor       = {Lars Birkedal},
  title        = {A Graph-based Semantics For Object-oriented Programming Constructs},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {89--104},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.053},
  doi          = {10.1016/J.ENTCS.2004.06.053},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/FerreiraR05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/HaghverdiS05,
  author       = {Esfandiar Haghverdi and
                  Philip J. Scott},
  editor       = {Lars Birkedal},
  title        = {From Geometry of Interaction to Denotational Semantics},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {67--87},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.052},
  doi          = {10.1016/J.ENTCS.2004.06.052},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HaghverdiS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Maietti05,
  author       = {Maria Emilia Maietti},
  editor       = {Lars Birkedal},
  title        = {Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic
                  Universe},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {105--126},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.054},
  doi          = {10.1016/J.ENTCS.2004.06.054},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Maietti05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Mellies05,
  author       = {Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  editor       = {Lars Birkedal},
  title        = {Asynchronous Games 3 An Innocent Model of Linear Logic},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {171--192},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.057},
  doi          = {10.1016/J.ENTCS.2004.06.057},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/entcs/Mellies05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MengABN05,
  author       = {Sun Meng and
                  Bernhard K. Aichernig and
                  Lu{\'{\i}}s Soares Barbosa and
                  Zhang Naixiao},
  editor       = {Lars Birkedal},
  title        = {A Coalgebraic Semantic Framework for Component-based Development in
                  {UML}},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {229--245},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.051},
  doi          = {10.1016/J.ENTCS.2004.06.051},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MengABN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MichelbrinkS05,
  author       = {Markus Michelbrink and
                  Anton Setzer},
  editor       = {Lars Birkedal},
  title        = {State Dependent IO-Monads in Type Theory},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {127--146},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.055},
  doi          = {10.1016/J.ENTCS.2004.06.055},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MichelbrinkS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SchalkP05,
  author       = {Andrea Schalk and
                  Jos{\'{e}} Juan Palacios P{\'{e}}rez},
  editor       = {Lars Birkedal},
  title        = {Concrete Data Structures as Games},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {193--210},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.058},
  doi          = {10.1016/J.ENTCS.2004.06.058},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SchalkP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SokolovaVW05,
  author       = {Ana Sokolova and
                  Erik P. de Vink and
                  Harald Woracek},
  editor       = {Lars Birkedal},
  title        = {Weak Bisimulation for Action-Type Coalgebras: (Extended Abstract)},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {211--228},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.050},
  doi          = {10.1016/J.ENTCS.2004.06.050},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SokolovaVW05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Taylor05,
  author       = {Paul Taylor},
  editor       = {Lars Birkedal},
  title        = {Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe},
  booktitle    = {Proceedings of the 10th Conference on Category Theory in Computer
                  Science, {CTCS} 2004, Copenhagen, Denmark, August 12-14, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {122},
  pages        = {247--296},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.06.059},
  doi          = {10.1016/J.ENTCS.2004.06.059},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Taylor05.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.