|
CLEMENTINO, Maria Manuel, RODELO, Diana (2026). Enriched aspects of calculus of relations and 2-permutability. Journal of Algebra and Applications. Art. no. 2650233, pp. 1-35.
|
|
CLEMENTINO, Maria Manuel, GEHRKE, Mai, PICADO, Jorge (Eds.). (2026). Lecture Notes of the School on Topology, Algebra, and Categories in Logic (TACL 2022). Cham: Springer.
|
|
CLEMENTINO, Maria Manuel, HOFMANN, Dirk, PREZADO, Rui (2026). Topological lax comma categories. Order - A Journal on the Theory of Ordered Sets and its Applications. Vol. 43. 1, Art. no. 3, pp. 1-26.
|
|
MARTINS-FERREIRA, Nelson, MONTOLI, Andrea, PATCHKORIA, Alex, SOBRAL, Manuela (2025). The third cohomology group of a monoid and admissible abstract kernels II. DMUC 25-36 Preprint.
|
|
YAMADA, Norihiro (2025). Game semantics of universes in Martin-Löf type theory. DMUC 25-31 Preprint.
|
|
BORLIDO, Célia, KUDRYAVTSEVA, Ganna, MCLEAN, Brett (2025). Difference-restriction algebras with operators. arXiv:2508.03432 Preprint.
|
|
MANUELL, Graham, SOUSA, Lurdes (2025). Bicategories of lax fractions. DMUC 25-27 Preprint.
|
|
ALMEIDA, Jorge, COSTA, Alfredo, GOULET-OUELLET, Herman (2025). Profinite approach to S-adic shift spaces I: saturating directive sequences. DMUC 25-26 Preprint.
|
|
ALMEIDA, Jorge, COSTA, Alfredo, GOULET-OUELLET, Herman (2025). Open multiplication in relatively free profinite semigroupoids. DMUC 25-25 Preprint.
|
|
LUCATELLI NUNES, Fernando, PLOTKIN, Gordon, VÁKÁR, Matthijs (2025). Unraveling the iterative CHAD. DMUC 25-20 Preprint.
|
