Algebra, Logic and Topology (ALT)

 
<Publications History> <Projects History>
Publications:
Title
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.
Number of registers: 17<< previous 1,2 next >>
Projects:
Title
Escola Delfos
One register found.1
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Financiado total ou parcialmente pela FCT, Fundação para a Ciência e a Tecnologia, I.P., sob o Financiamento de:
UID/00324/2025 Projeto Estratégico com a referência DOI https://doi.org/10.54499/UID/00324/2025.
https://doi.org/10.54499/UID/PRR/00324/2025     UID/PRR/00324/2025   https://doi.org/10.54499/UID/PRR2/00324/2025   UID/PRR2/00324/2025
Powered by: rdOnWeb v1.4 | technical support