Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Santamaria, Alessio"'
We present a systematic approach to logical predicates based on universal coalgebra and higher-order abstract GSOS, thus making a first step towards a unifying theory of logical relations. We first observe that logical predicates are special cases of
Externí odkaz:
http://arxiv.org/abs/2401.05872
Publikováno v:
Proceedings of the ACM on Programming Languages, Vol. 7, POPL 2023
Rig categories with finite biproducts are categories with two monoidal products, where one is a biproduct and the other distributes over it. In this work we present tape diagrams, a sound and complete diagrammatic language for these categories, that
Externí odkaz:
http://arxiv.org/abs/2210.09950
Autor:
Bonchi, Filippo, Santamaria, Alessio
Publikováno v:
Logical Methods in Computer Science, Volume 18, Issue 4 (November 23, 2022) lmcs:8389
We study the canonical weak distributive law $\delta$ of the powerset monad over the semimodule monad for a certain class of semirings containing, in particular, positive semifields. For this subclass we characterise $\delta$ as a convex closure in t
Externí odkaz:
http://arxiv.org/abs/2108.10718
Publikováno v:
9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
We study the relationship between cartesian bicategories and a specialisation of Lawvere's hyperdoctrines, namely elementary existential doctrines. Both provide different ways of abstracting the structural properties of logical systems: the former in
Externí odkaz:
http://arxiv.org/abs/2106.08142
Autor:
Bonchi, Filippo, Santamaria, Alessio
Publikováno v:
Foundations of Software Science and Computation Structures. FOSSACS 2021. Lecture Notes in Computer Science, vol 12650 (2021), pp 102-123. Springer, Cham
We describe the canonical weak distributive law $\delta \colon \mathcal S \mathcal P \to \mathcal P \mathcal S$ of the powerset monad $\mathcal P$ over the $S$-left-semimodule monad $\mathcal S$, for a class of semirings $S$. We show that the composi
Externí odkaz:
http://arxiv.org/abs/2012.14778
Autor:
McCusker, Guy, Santamaria, Alessio
Publikováno v:
Journal of Pure and Applied Algebra, Volume 225, Issue 10, October 2021, 106689
Dinatural transformations, which generalise the ubiquitous natural transformations to the case where the domain and codomain functors are of mixed variance, fail to compose in general; this has been known since they were discovered by Dubuc and Stree
Externí odkaz:
http://arxiv.org/abs/2007.07576
We investigate how various forms of bisimulation can be characterised using the technology of logical relations. The approach taken is that each form of bisimulation corresponds to an algebraic structure derived from a transition system, and the gene
Externí odkaz:
http://arxiv.org/abs/2003.13542
Autor:
McCusker, Guy, Santamaria, Alessio
Publikováno v:
In Journal of Pure and Applied Algebra October 2021 225(10)
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.