default search action

combined dblp search
author search
venue search
publication search

ask others

7th ACT 2024: Oxford, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > ACT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-18357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-18357
Michael Johnson, David Jaz Myers:
Proceedings Seventh International Conference on Applied Category Theory 2024, ACT 2024, Oxford, United Kingdom, 17 - 21 June 2024. EPTCS 429, 2025
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-16321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-16321
Sophie Libkind, David I. Spivak:
Pattern Runs on Matter: The Free Monad Monad as a Module over the Cofree Comonad Comonad. 1-28
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-00900
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-00900
Adrian Miranda:
Abstract Kleisli Structures on 2-categories. 29-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-20930
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-20930
Mitchell Riley:
Learners are Almost Free Compact Closed. 49-62
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-02017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-02017
Dario Stein, Márk Széles:
Combs, Causality and Contractions in Atomic Markov Categories. 63-87
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-01406
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-01406
Gabriel Goren Roig, Joshua Meyers, Emilio Minichiello:
Presenting Profunctors. 88-114
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-20931
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-20931
Aaron Biggin, Jean-Simon Pacaud Lemay:
Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories. 115-129
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-17813
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-17813
Alexis Toumi, Giovanni de Felice:
Higher-Order DisCoCat (Peirce-Lambek-Montague semantics). 130-145
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2406-08286
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2406-08286
Toby St Clere Smithe:
Copy-composition for Probabilistic Graphical Models. 146-173
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-19884
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-19884
Michael Lambert, Evan Patterson:
Representing Knowledge and Querying Data using Double-Functorial Semantics. 174-189
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-20932
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-20932
Neil Ghani:
A Category Theoretic Approach to Approximate Game Theory. 190-202
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2410-00675
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2410-00675
Thea Li:
Fibrational perspectives on determinization of finite-state automata. 203-216
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2403-19845
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2403-19845
Tyler Hanks, Matthew Klawonn, James P. Fairbanks:
Generalized Gradient Descent is a Hypergraph Functor. 217-233
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-08163
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-08163
Bhakti Shah, William Spencer, Laura Zielinski, Ben Caldwell, Adrian Lehmann, Robert Rand:
ViCAR: Visualizing Categories with Automated Rewriting in Coq. 234-248
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2509-20933
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2509-20933
Lorenzo Ceragioli, Elena Di Lavore, Giuseppe Lomurno, Gabriele Tedeschi:
A Coalgebraic Model of Quantum Bisimulation. 249-269
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-02688
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-02688
Jules Hedges, Riu Rodríguez Sakamoto:
Reinforcement Learning in Categorical Cybernetics. 270-286
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2404-16140
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2404-16140
Matteo Capucci, Owen Lynch, David I. Spivak:
Organizing Physics with Open Energy-Driven Systems. 287-301

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.