default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ACT 2023: College Park, MD, USA
- Sam Staton, Christina Vasilakopoulou:
Proceedings of the Sixth International Conference on Applied Category Theory 2023, ACT 2023, University of Maryland, 31 July - 4 August 2023. EPTCS 397, 2023 - Guido Boccali, Andrea Laretto, Fosco Loregiàn, Stefano Luneia:
Bicategories of automata, automata in bicategories. 1-19 - Thierry Boy de la Tour:
Subsumptions of Algebraic Rewrite Rules. 20-38 - Dylan Braithwaite, Mario Román:
Collages of String Diagrams. 39-53 - Bryce Clarke:
The Algebraic Weak Factorisation System for Delta Lenses. 54-69 - J. Robin B. Cockett, Amolak Ratan Kalra, Priyaa Varshinee Srinivasan:
Normalizing Resistor Networks. 70-83 - Joseph Dorta
, Samantha Jarvis, Nelson Niu:
Monoidal Structures on Generalized Polynomial Categories. 84-97 - Lawrence Dunn, Val Tannen, Steve Zdancewic:
Syntax Monads for the Working Formal Metatheorist. 98-117 - Paulina L. A. Goedicke, Jamie Vicary:
A Categorical Model for Classical and Quantum Block Designs. 118-136 - Stefano Gogioso, Vincent Wang-Mascianica, Muhammad Hamza Waseem, Carlo Maria Scandolo, Bob Coecke:
Constructor Theory as Process Theory. 137-151 - James Hefford, Mario Román:
Optics for Premonoidal Categories. 152-171 - Bart Jacobs, Dario Stein:
Overdrawing Urns using Categories of Signed Probabilities. 172-189 - Hugo Paquet, Philip Saville:
Effectful Semantics in 2-Dimensional Categories: Premonoidal and Freyd Bicategories. 190-209 - Evan Patterson:
Structured and Decorated Cospans from the Viewpoint of Double Category Theory. 210-225 - Caterina Puca, Amar Hadzihasanovic, Fabrizio Genovese, Bob Coecke:
Obstructions to Compositionality. 226-245 - Chiara Sarti, Jamie Vicary:
Posetal Diagrams for Logically-Structured Semistrict Higher Categories. 246-259 - Eli Sennesh, Jan-Willem van de Meent:
String Diagrams with Factorized Densities. 260-278 - Toby St Clere Smithe:
Approximate Inference via Fibrations of Statistical Games. 279-298 - Nathaniel Virgo:
Unifilar Machines and the Adjoint Structure of Bayesian Filtering. 299-317
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 2024-11-08 20:42 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:
