Stop the war!
Остановите войну!
for scientists:
default search action
4th ACT 2021: Cambridge, UK
- Kohei Kishida:
Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021. EPTCS 372, 2022 - Dan Shiebler:
Functorial Manifold Learning and Overlapping Clustering. 1-13 - David I. Spivak:
Learners' languages. 14-28 - Jean-Simon Pacaud Lemay:
Jacobians and Gradients for Cartesian Differential Categories. 29-42 - ….
- Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi:
A Categorical Semantics for Bounded Petri Nets. 59-71 - ….
- Andrew M. Pitts, S. C. Steenkamp:
Constructing Initial Algebras Using Inflationary Iteration. 88-102 - Chad Nester:
Situated Transition Sytems. 103-115 - Christian Williams, Michael Stay:
Native Type Theory. 116-132 - Toby St Clere Smithe:
Polynomial Life: the Structure of Adaptive Systems. 133-148 - ….
- ….
- Guillaume Boisseau, Pawel Sobocinski:
String Diagrammatic Electrical Circuit Theory. 178-191 - ….
- ….
- Matteo Capucci, Neil Ghani, Jérémy Ledent, Fredrik Nordvall Forsberg:
Translating Extensive Form Games to Open Games with Agency. 221-234 - ….
- ….
- Paul W. Wilson, Fabio Zanasi:
The Cost of Compositionality: A High-Performance Implementation of String Diagram Composition. 262-275 - ….
- Soichiro Fujii, Yuni Iwamasa, Kei Kimura:
Quantaloidal approach to constraint satisfaction. 289-305 - Sean Tull:
A Categorical Semantics of Fuzzy Concepts in Conceptual Spaces. 306-322 - Nicolas Behr, Joachim Kock:
Tracelet Hopf algebras and decomposition spaces. 323-337 - Cole Comfort, Aleks Kissinger:
A Graphical Calculus for Lagrangian Relations. 338-351 - Razin A. Shaikh, Lia Yeh, Benjamin Rodatz, Bob Coecke:
Composing Conversational Negation. 352-367 - Jérémie Koenig:
Grounding Game Semantics in Categorical Algebra. 368-383
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.