Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs323.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2009-06835,
  author       = {Bryce Clarke},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Internal lenses as functors and cofunctors},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {183--195},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.323.13},
  doi          = {10.4204/EPTCS.323.13},
  timestamp    = {Sat, 06 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06835.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:journals/corr/abs-2009-06334,
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.323},
  doi          = {10.4204/EPTCS.323},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06334.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Delpeuch14a,
  author       = {Antonin Delpeuch},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Autonomization of Monoidal Categories},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {24--43},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.3},
  doi          = {10.4204/EPTCS.323.3},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Delpeuch14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1904-12829,
  author       = {Nicolas Behr},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Tracelets and Tracelet Analysis Of Compositional Rewriting Systems},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {44--71},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.4},
  doi          = {10.4204/EPTCS.323.4},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1904-12829.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1905-05636,
  author       = {John C. Baez and
                  Christian Williams},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Enriched Lawvere Theories for Operational Semantics},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {106--135},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.8},
  doi          = {10.4204/EPTCS.323.8},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-05636.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1905-07408,
  author       = {Giovanni de Felice and
                  Konstantinos Meichanetzidis and
                  Alexis Toumi},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Montague Semantics for Lambek Pregroups},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {84--94},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.6},
  doi          = {10.4204/EPTCS.323.6},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1905-07408.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-05937,
  author       = {Antonin Delpeuch},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {A complete language for faceted dataflow programs},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {1--14},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.1},
  doi          = {10.4204/EPTCS.323.1},
  timestamp    = {Sat, 07 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-05937.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1906-09649,
  author       = {Vladimir Zamdzhiev},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Reflecting Algebraically Compact Functors},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {15--23},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.2},
  doi          = {10.4204/EPTCS.323.2},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-09649.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1907-03536,
  author       = {Micah Halter and
                  Christine Herlihy and
                  James P. Fairbanks},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {A Compositional Framework for Scientific Model Augmentation},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {172--182},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.12},
  doi          = {10.4204/EPTCS.323.12},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-03536.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-1912-06191,
  author       = {Fabrizio Genovese and
                  Alex Gryzlov and
                  Jelle Herold and
                  Andre Knispel and
                  Marco Perone and
                  Erik Post and
                  Andr{\'{e}} Videla},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {idris-ct: {A} Library to do Category Theory in Idris},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {246--254},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.16},
  doi          = {10.4204/EPTCS.323.16},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-06191.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06831,
  author       = {Neil Ghani and
                  Clemens Kupke and
                  Alasdair Lambert and
                  Fredrik Nordvall Forsberg},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Compositional Game Theory with Mixed Strategies: Probabilistic Open
                  Games Using a Distributive Law},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {95--105},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.7},
  doi          = {10.4204/EPTCS.323.7},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06831.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06832,
  author       = {Dominique Pastor and
                  Erwan Beurier and
                  Andr{\'{e}}e C. Ehresmann and
                  Roger Waldeck},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Interfacing biology, category theory and mathematical statistics},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {136--148},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.9},
  doi          = {10.4204/EPTCS.323.9},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06832.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06833,
  author       = {John S. Nolan and
                  Blake S. Pollard and
                  Spencer Breiner and
                  Dhananjay Anand and
                  Eswaran Subrahmanian},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Compositional Models for Power Systems},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {149--160},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.10},
  doi          = {10.4204/EPTCS.323.10},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06833.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06834,
  author       = {Philip Johnson{-}Freyd and
                  Jon Aytac and
                  Geoffrey C. Hulette},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Topos Semantics for a Higher-Order Temporal Logic of Actions},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {161--171},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.11},
  doi          = {10.4204/EPTCS.323.11},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06834.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06836,
  author       = {Brendan Fong and
                  David I. Spivak},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {String Diagrams for Regular Logic (Extended Abstract)},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {196--229},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.14},
  doi          = {10.4204/EPTCS.323.14},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06836.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-06837,
  author       = {Bruno Gavranovic},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Learning Functors using Gradient Descent},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {230--245},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.15},
  doi          = {10.4204/EPTCS.323.15},
  timestamp    = {Wed, 04 Nov 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-06837.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-09848,
  author       = {Spencer Breiner and
                  Blake S. Pollard and
                  Eswaran Subrahmanian and
                  Olivier Marie{-}Rose},
  editor       = {John Baez and
                  Bob Coecke},
  title        = {Modeling Hierarchical System with Operads},
  booktitle    = {Proceedings Applied Category Theory 2019, {ACT} 2019, University of
                  Oxford, UK, 15-19 July 2019},
  series       = {{EPTCS}},
  volume       = {323},
  pages        = {72--83},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.323.5},
  doi          = {10.4204/EPTCS.323.5},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-09848.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.