Algebra, Logic and Topology (ALT)

 
<Publications History> <Projects History>
Publications:
Title
BEZHANISHVILI, Guram, RAVIPRAKASH, Ranjitha, SUAREZ, Anna Laura, WALTERS-WAYLAND, Joanne (2025). The Funayama envelope as the \(T_D\)-hull of a frame. arXiv:2501.14162 Preprint.
TEMIDO, Maria da Graça, DIAS, Sandra (2025). Extremal behavior of some bivariate integer models.
JANELIDZE, George, SOBRAL, Manuela (2025). A note on idempotent semirings. Categories and General Algebraic Structures with Applications. Vol. 22. 1, pp. 175-180.
CLEMENTINO, Maria Manuel, RODELO, Diana (2025). A note on Mal'tsev objects. Portugaliae Mathematicae. Vol. 82. 1/2, pp. 71-90.
ABREU, Miguel, BURSZTYN, Henrique, PICADO, Jorge (Eds.). (2025). Brazil-Portugal Mathematics: Proceedings of the First Brazil-Portugal Joint Meeting in Mathematics, Salvador, Brazil, August 14-20, 2022. Cham: Springer.
CLEMENTINO, Maria Manuel, GEHRKE, Mai, PICADO, Jorge (Eds.). (2025). Lecture Notes of the School on Topology, Algebra, and Categories in Logic (TACL 2022). Cham: Springer.
JANELIDZE, George, SOBRAL, Manuela (2025). Topics in the categorical algebra of closure spaces. Cahiers de Topologie et Géométrie Différentielle Catégoriques. Vol. 66. 1, pp. 19-35.
CLEMENTINO, Maria Manuel, FITAS, Carlos, HOFMANN, Dirk A variety of co-quasivarieties. Topology and its Applications
LUCATELLI NUNES, Fernando, VÁKÁR, Matthijs Automatic differentiation for ML-family languages: Correctness via logical relations. Mathematical Structures in Computer Science
JAKL, Tomas, SUAREZ, Anna Laura Canonical extensions via fitted sublocales. Applied Categorical Structures
Number of registers: 15<< previous 1,2 next >>
Projects:
Title
Escola Delfos
One register found.1
© Centre for Mathematics, University of Coimbra, funded by
Science and Technology Foundation
Powered by: rdOnWeb v1.4 | technical support