research
∙
06/07/2023
On categorical structures arising from implicative algebras: from topology to assemblies
Implicative algebras have been recently introduced by Miquel in order to...
share
research
∙
05/05/2023
Specification and verification of a linear-time logic for graph transformation
We present a first-order linear-time temporal logic for reasoning about ...
research
∙
03/24/2023
Weakly affine monads
Introduced in the 1990s in the context of the algebraic approach to grap...
research
∙
05/13/2022
Completeness and expressiveness for gs-monoidal categories
Formalised in the study of symmetric monoidal categories, string diagram...
research
∙
11/06/2021
A Presheaf Semantics for Quantified Temporal Logics
Temporal logics stands for a widely adopted family of formalisms for the...
research
∙
06/18/2020