default search action

combined dblp search
author search
venue search
publication search

ask others

ACT 2019: 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-2009-06334
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06334
John Baez, Bob Coecke:
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019. EPTCS 323, 2020
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1906-05937
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-05937
Antonin Delpeuch:
A complete language for faceted dataflow programs. 1-14
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1906-09649
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1906-09649
Vladimir Zamdzhiev:
Reflecting Algebraically Compact Functors. 15-23
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Delpeuch14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Delpeuch14a
Antonin Delpeuch:
Autonomization of Monoidal Categories. 24-43
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1904-12829
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-12829
Nicolas Behr:
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems. 44-71
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-09848
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-09848
Spencer Breiner, Blake S. Pollard, Eswaran Subrahmanian, Olivier Marie-Rose:
Modeling Hierarchical System with Operads. 72-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1905-07408
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-07408
Giovanni de Felice, Konstantinos Meichanetzidis, Alexis Toumi:
Montague Semantics for Lambek Pregroups. 84-94
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-06831
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06831
Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg:
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law. 95-105
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1905-05636
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1905-05636
John C. Baez, Christian Williams:
Enriched Lawvere Theories for Operational Semantics. 106-135
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-06832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06832
Dominique Pastor, Erwan Beurier, Andrée C. Ehresmann, Roger Waldeck:
Interfacing biology, category theory and mathematical statistics. 136-148
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-06833
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06833
John S. Nolan, Blake S. Pollard, Spencer Breiner, Dhananjay Anand, Eswaran Subrahmanian:
Compositional Models for Power Systems. 149-160
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-06834
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06834
Philip Johnson-Freyd, Jon Aytac, Geoffrey C. Hulette:
Topos Semantics for a Higher-Order Temporal Logic of Actions. 161-171
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1907-03536
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-03536
Micah Halter, Christine Herlihy, James P. Fairbanks:
A Compositional Framework for Scientific Model Augmentation. 172-182
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-06835
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06835
Bryce Clarke:
Internal lenses as functors and cofunctors. 183-195
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2009-06837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-06837
Bruno Gavranovic:
Learning Functors using Gradient Descent. 230-245
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1912-06191
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-06191
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla:
idris-ct: A Library to do Category Theory in Idris. 246-254

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.