default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd ACT 2020
- David I. Spivak, Jamie Vicary:
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020. EPTCS 333, 2021 - Matthew Wilson, James Hefford, Guillaume Boisseau, Vincent Wang:
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures. 1-18 - Swaraj Dash, Sam Staton:
A Monad for Probabilistic Point Processes. 19-32 - Spencer Breiner, John S. Nolan:
Symmetric Monoidal Categories with Attributes. 33-48 - Evan Patterson
, David I. Spivak, Dmitry Vagner:
Wiring diagrams as normal forms for computing in symmetric monoidal categories. 49-64 - Mario Román:
Open Diagrams via Coend Calculus. 65-78 - Bryce Clarke:
A diagrammatic approach to symmetric lenses. 79-91 - Michael Johnson, Robert D. Rosebrugh:
The more legs the merrier: A new composition for symmetric (multi-)lenses. 92-107 - Toby St Clere Smithe:
Cyber Kittens, or Some First Steps Towards Categorical Cybernetics. 108-124 - Georgios Bakirtzis, Christina Vasilakopoulou, Cody H. Fleming:
Compositional Cyber-Physical Systems Modeling. 125-138 - Gioele Zardini, David I. Spivak, Andrea Censi, Emilio Frazzoli:
A Compositional Sheaf-Theoretic Framework for Event-Based Systems. 139-153 - David Jaz Myers:
Double Categories of Open Dynamical Systems (Extended Abstract). 154-167 - Lachlan McPheat, Mehrnoosh Sadrzadeh, Hadi Wazni, Gijs Wijnholds:
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract). 168-182 - Giovanni de Felice, Alexis Toumi, Bob Coecke:
DisCoPy: Monoidal Categories in Python. 183-197 - Robert Atkey, Bruno Gavranovic, Neil Ghani, Clemens Kupke, Jérémy Ledent, Fredrik Nordvall Forsberg:
Compositional Game Theory, Compositionally. 198-214 - Martin Hyland, Christine Tasson:
The linear-non-linear substitution 2-monad. 215-229 - Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger:
Proof Theory of Partially Normal Skew Monoidal Categories. 230-246 - Paul W. Wilson, Fabio Zanasi:
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits. 247-260 - Henry Adams, Johnathan Bush, Joshua Mirth:
Operations on Metric Thickenings. 261-275 - Brendan Fong, David Jaz Myers, David I. Spivak:
Behavioral Mereology: A Modal Logic for Passing Constraints. 276-288 - Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk:
Categorical semantics of a simple differential programming language. 289-310 - Giovanni de Felice, Elena Di Lavore, Mario Román, Alexis Toumi:
Functorial Language Games for Question Answering. 311-321 - Vladimir Zamdzhiev:
Computational Adequacy for Substructural Lambda Calculi. 322-334 - Luigi Santocanale:
Dualizing sup-preserving endomaps of a complete lattice. 335-346 - Richard Statman:
Products in a Category with Only One Object. 347-353
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.
last updated on 2025-01-06 23:30 CET 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:
