Sign in
ACT
2019
2020
2022
2023
2019
2023
Keyphrases
Publications
volume 380, 2023
Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022.
ACT
380 (2023)
2022
Flavien Breuvart
,
Dylan McDermott
,
Tarmo Uustalu
Canonical Gradings of Monads.
ACT
(2022)
Ezra Schoen
Lax Liftings and Lax Distributive Laws.
ACT
(2022)
volume 333, 2021
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020.
ACT
333 (2021)
2020
Brendan Fong
,
David Jaz Myers
,
David I. Spivak
Behavioral Mereology: A Modal Logic for Passing Constraints.
ACT
(2020)
Evan Patterson
,
David I. Spivak
,
Dmitry Vagner
Wiring diagrams as normal forms for computing in symmetric monoidal categories.
ACT
(2020)
Luigi Santocanale
Dualizing sup-preserving endomaps of a complete lattice.
ACT
(2020)
Geoffrey S. H. Cruttwell
,
Jonathan Gallagher
,
Dorette Pronk
Categorical semantics of a simple differential programming language.
ACT
(2020)
Vladimir Zamdzhiev
Computational Adequacy for Substructural Lambda Calculi.
ACT
(2020)
Georgios Bakirtzis
,
Christina Vasilakopoulou
,
Cody Harrison Fleming
Compositional Cyber-Physical Systems Modeling.
ACT
(2020)
Gioele Zardini
,
David I. Spivak
,
Andrea Censi
,
Emilio Frazzoli
A Compositional Sheaf-Theoretic Framework for Event-Based Systems.
ACT
(2020)
Toby St Clere Smithe
Cyber Kittens, or Some First Steps Towards Categorical Cybernetics.
ACT
(2020)
Swaraj Dash
,
Sam Staton
A Monad for Probabilistic Point Processes.
ACT
(2020)
Tarmo Uustalu
,
Niccolò Veltri
,
Noam Zeilberger
Proof Theory of Partially Normal Skew Monoidal Categories.
ACT
(2020)
Spencer Breiner
,
John S. Nolan
Symmetric Monoidal Categories with Attributes.
ACT
(2020)
Mario Román
Open Diagrams via Coend Calculus.
ACT
(2020)
Martin Hyland
,
Christine Tasson
The linear-non-linear substitution 2-monad.
ACT
(2020)
Paul W. Wilson
,
Fabio Zanasi
Reverse Derivative Ascent: A Categorical Approach to Learning Boolean Circuits.
ACT
(2020)
Matthew Wilson
,
James Hefford
,
Guillaume Boisseau
,
Vincent Wang
The Safari of Update Structures: Visiting the Lens and Quantum Enclosures.
ACT
(2020)
Robert Atkey
,
Bruno Gavranovic
,
Neil Ghani
,
Clemens Kupke
,
Jérémy Ledent
,
Fredrik Nordvall Forsberg
Compositional Game Theory, Compositionally.
ACT
(2020)
Richard Statman
Products in a Category with Only One Object.
ACT
(2020)
Lachlan McPheat
,
Mehrnoosh Sadrzadeh
,
Hadi Wazni
,
Gijs Wijnholds
Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Extended Abstract).
ACT
(2020)
Giovanni de Felice
,
Elena Di Lavore
,
Mario Román
,
Alexis Toumi
Functorial Language Games for Question Answering.
ACT
(2020)
volume 323, 2020
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019.
ACT
323 (2020)
2019
Antonin Delpeuch
A complete language for faceted dataflow programs.
ACT
(2019)
Fabrizio Genovese
,
Alex Gryzlov
,
Jelle Herold
,
Andre Knispel
,
Marco Perone
,
Erik Post
,
André Videla
idris-ct: A Library to do Category Theory in Idris.
ACT
(2019)
Vladimir Zamdzhiev
Reflecting Algebraically Compact Functors.
ACT
(2019)
Antonin Delpeuch
Autonomization of Monoidal Categories.
ACT
(2019)
John C. Baez
,
Christian Williams
Enriched Lawvere Theories for Operational Semantics.
ACT
(2019)
Giovanni de Felice
,
Konstantinos Meichanetzidis
,
Alexis Toumi
Montague Semantics for Lambek Pregroups.
ACT
(2019)
Micah Halter
,
Christine Herlihy
,
James P. Fairbanks
A Compositional Framework for Scientific Model Augmentation.
ACT
(2019)
Nicolas Behr
Tracelets and Tracelet Analysis Of Compositional Rewriting Systems.
ACT
(2019)
Dominique Pastor
,
Erwan Beurier
,
Andrée C. Ehresmann
,
Roger Waldeck
Interfacing biology, category theory and mathematical statistics.
ACT
(2019)
Brendan Fong
,
David I. Spivak
String Diagrams for Regular Logic (Extended Abstract).
ACT
(2019)
Spencer Breiner
,
Blake S. Pollard
,
Eswaran Subrahmanian
,
Olivier Marie-Rose
Modeling Hierarchical System with Operads.
ACT
(2019)
Philip Johnson-Freyd
,
Jon Aytac
,
Geoffrey C. Hulette
Topos Semantics for a Higher-Order Temporal Logic of Actions.
ACT
(2019)
Bruno Gavranovic
Learning Functors using Gradient Descent.
ACT
(2019)
John S. Nolan
,
Blake S. Pollard
,
Spencer Breiner
,
Dhananjay Anand
,
Eswaran Subrahmanian
Compositional Models for Power Systems.
ACT
(2019)
Neil Ghani
,
Clemens Kupke
,
Alasdair Lambert
,
Fredrik Nordvall Forsberg
Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law.
ACT
(2019)