Search dblp for Publications

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

 download as .bib file

@proceedings{DBLP:journals/corr/abs-2101-07888,
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  year         = {2021},
  url          = {https://doi.org/10.4204/EPTCS.333},
  doi          = {10.4204/EPTCS.333},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-07888.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2004-04526,
  author       = {Mario Rom{\'{a}}n},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Open Diagrams via Coend Calculus},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {65--78},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.5},
  doi          = {10.4204/EPTCS.333.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2004-04526.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-02975,
  author       = {Giovanni de Felice and
                  Alexis Toumi and
                  Bob Coecke},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {DisCoPy: Monoidal Categories in Python},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {183--197},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.13},
  doi          = {10.4204/EPTCS.333.13},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-02975.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-05293,
  author       = {Matthew Wilson and
                  James Hefford and
                  Guillaume Boisseau and
                  Vincent Wang},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {The Safari of Update Structures: Visiting the Lens and Quantum Enclosures},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {1--18},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.1},
  doi          = {10.4204/EPTCS.333.1},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-05293.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-05433,
  author       = {Vladimir Zamdzhiev},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Computational Adequacy for Substructural Lambda Calculi},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {322--334},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.22},
  doi          = {10.4204/EPTCS.333.22},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-05433.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-05956,
  author       = {David Jaz Myers},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Double Categories of Open Dynamical Systems (Extended Abstract)},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {154--167},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.11},
  doi          = {10.4204/EPTCS.333.11},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-05956.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-09439,
  author       = {Giovanni de Felice and
                  Elena Di Lavore and
                  Mario Rom{\'{a}}n and
                  Alexis Toumi},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Functorial Language Games for Question Answering},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {311--321},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.21},
  doi          = {10.4204/EPTCS.333.21},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-09439.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2005-09559,
  author       = {Martin Hyland and
                  Christine Tasson},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {The linear-non-linear substitution 2-monad},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {215--229},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.15},
  doi          = {10.4204/EPTCS.333.15},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-09559.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10479,
  author       = {Swaraj Dash and
                  Sam Staton},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {A Monad for Probabilistic Point Processes},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {19--32},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.2},
  doi          = {10.4204/EPTCS.333.2},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10479.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10480,
  author       = {Spencer Breiner and
                  John S. Nolan},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Symmetric Monoidal Categories with Attributes},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {33--48},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.3},
  doi          = {10.4204/EPTCS.333.3},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10480.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10481,
  author       = {Bryce Clarke},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {A diagrammatic approach to symmetric lenses},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {79--91},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.6},
  doi          = {10.4204/EPTCS.333.6},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10481.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10482,
  author       = {Michael Johnson and
                  Robert D. Rosebrugh},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {The more legs the merrier: {A} new composition for symmetric (multi-)lenses},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {92--107},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.7},
  doi          = {10.4204/EPTCS.333.7},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10482.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10483,
  author       = {Toby St Clere Smithe},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Cyber Kittens, or Some First Steps Towards Categorical Cybernetics},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {108--124},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.8},
  doi          = {10.4204/EPTCS.333.8},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10483.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10484,
  author       = {Georgios Bakirtzis and
                  Christina Vasilakopoulou and
                  Cody H. Fleming},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Compositional Cyber-Physical Systems Modeling},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {125--138},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.9},
  doi          = {10.4204/EPTCS.333.9},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10484.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10485,
  author       = {Gioele Zardini and
                  David I. Spivak and
                  Andrea Censi and
                  Emilio Frazzoli},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {A Compositional Sheaf-Theoretic Framework for Event-Based Systems},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {139--153},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.10},
  doi          = {10.4204/EPTCS.333.10},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10485.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10486,
  author       = {Lachlan McPheat and
                  Mehrnoosh Sadrzadeh and
                  Hadi Wazni and
                  Gijs Wijnholds},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Categorical Vector Space Semantics for Lambek Calculus with a Relevant
                  Modality (Extended Abstract)},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {168--182},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.12},
  doi          = {10.4204/EPTCS.333.12},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10486.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10487,
  author       = {Tarmo Uustalu and
                  Niccol{\`{o}} Veltri and
                  Noam Zeilberger},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Proof Theory of Partially Normal Skew Monoidal Categories},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {230--246},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.16},
  doi          = {10.4204/EPTCS.333.16},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10487.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10488,
  author       = {Paul W. Wilson and
                  Fabio Zanasi},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Reverse Derivative Ascent: {A} Categorical Approach to Learning Boolean
                  Circuits},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {247--260},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.17},
  doi          = {10.4204/EPTCS.333.17},
  timestamp    = {Tue, 25 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10488.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10489,
  author       = {Henry Adams and
                  Johnathan Bush and
                  Joshua Mirth},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Operations on Metric Thickenings},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {261--275},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.18},
  doi          = {10.4204/EPTCS.333.18},
  timestamp    = {Mon, 10 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10489.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10490,
  author       = {Brendan Fong and
                  David Jaz Myers and
                  David I. Spivak},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Behavioral Mereology: {A} Modal Logic for Passing Constraints},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {276--288},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.19},
  doi          = {10.4204/EPTCS.333.19},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10490.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10491,
  author       = {Geoffrey S. H. Cruttwell and
                  Jonathan Gallagher and
                  Dorette Pronk},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Categorical semantics of a simple differential programming language},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {289--310},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.20},
  doi          = {10.4204/EPTCS.333.20},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10491.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10493,
  author       = {Luigi Santocanale},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Dualizing sup-preserving endomaps of a complete lattice},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {335--346},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.23},
  doi          = {10.4204/EPTCS.333.23},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10493.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-10494,
  author       = {Richard Statman},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Products in a Category with Only One Object},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {347--353},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.24},
  doi          = {10.4204/EPTCS.333.24},
  timestamp    = {Fri, 05 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-10494.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-12045,
  author       = {Robert Atkey and
                  Bruno Gavranovic and
                  Neil Ghani and
                  Clemens Kupke and
                  J{\'{e}}r{\'{e}}my Ledent and
                  Fredrik Nordvall Forsberg},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Compositional Game Theory, Compositionally},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {198--214},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.14},
  doi          = {10.4204/EPTCS.333.14},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-12045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2101-12046,
  author       = {Evan Patterson and
                  David I. Spivak and
                  Dmitry Vagner},
  editor       = {David I. Spivak and
                  Jamie Vicary},
  title        = {Wiring diagrams as normal forms for computing in symmetric monoidal
                  categories},
  booktitle    = {Proceedings of the 3rd Annual International Applied Category Theory
                  Conference 2020, {ACT} 2020, Cambridge, USA, 6-10th July 2020},
  series       = {{EPTCS}},
  volume       = {333},
  pages        = {49--64},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.333.4},
  doi          = {10.4204/EPTCS.333.4},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-12046.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.