Compositional Systems and Methods group at TalTech.
Compositional Systems and Methods group at TalTech. Supported by the ESF funded Estonian IT Academy research measure (project 2014-2020.4.05.19-0001).
Nathan Haydon, Paweł Sobociński, “Compositional Diagrammatic First-Order Logic”. Accepted for Diagrams 2020.
Elena Di Lavore, Jules Hedges, Paweł Sobociński, “Compositional modelling of network games”. Accepted for CSL 2021.
Chad Nester, “A Foundation for Ledger Structures”. Accepted for Tokenomics 2020.
Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore and Mario Román, “Profunctor optics, a categorical update”.
Filippo Bonchi, Robin Piedeleu, Paweł Sobociński and Fabio Zanasi, “Contextual Equivalence for Signal Flow Graphs”. Accepted for FoSSaCS 2020.
Nicolas Behr and Paweł Sobociński, “Rule Algebras for Adhesive Categories”. Accepted for publication in Logical Methods in Computer Science.
Filippo Bonchi, Jens Seeber and Paweł Sobociński, “Cartesian Bicategories with Choice”. In peer review.
Filippo Bonchi, Paweł Sobociński and Fabio Zanasi, “Compositional semantics of signal flow graphs: a survey”. In preparation.
Ahti-Veikko Pietarinen, Fracesco Bellucci, Angelina Bobrova, Nathan Haydon and Mohammad Shafiei, “The Blot”. Accepted for Diagrams 2020.