|
AREIAS, João, PICADO, Jorge (2026). Basic zero-dimensional spaces: a unifying framework for continuity and openness. DMUC 26-44 Preprint.
|
|
LUCATELLI NUNES, Fernando, THOLEN, Walter (2026). From Grothendieck cofibrations to factorization systems: a formal 2-monadic account. DMUC 26-43 Preprint.
|
|
LUCATELLI NUNES, Fernando, SIMM, Diogo, VÁKÁR, Matthijs (2026). Simply typed reverse-mode automatic differentiation with variants: denotational correctness via idempotent completion. DMUC 26-40 Preprint.
|
|
SIMM, Diogo, LUCATELLI NUNES, Fernando, VÁKÁR, Matthijs (2026). Backpropagation for effectful languages I: Finite probability and discrete output algebraic effects. DMUC 26-35 Preprint.
|
|
PREZADO, Rui, SUAREZ, Anna Laura (2026). A general framework for the faithful pointfree representation of T0-spaces. arXiv:2606.28691 Preprint.
|
|
GUTIERRES, Gonçalo, MAMEDE, Ricardo (2026). Taxicab and Euclidean metrics on permutations with prescribed peak set. DMUC 26-27 Preprint.
|
|
HOEFNAGEL, Michael A., MARTINS-FERREIRA, Nelson, SOBRAL, Manuela (2026). On the zero-classes of monoid semi-congruences. DMUC 26-21 Preprint.
|
|
CLEMENTINO, Maria Manuel, RODELO, Diana (2026). A note on varieties of ordered algebras. DMUC 26-06 Preprint.
|
|
CLEMENTINO, Maria Manuel, MONTOLI, Andrea (2026). Algebraic exponentiation and action representability for V-groups. DMUC 26-04 Preprint.
|
|
CLEMENTINO, Maria Manuel, RODELO, Diana (2026). A note on varieties of ordered algebras. Journal of Pure and Applied Algebra. Vol. 230. Art. no. 18363, pp. 1-14.
|