|
CLEMENTINO, Maria Manuel, RODELO, Diana (2026). Enriched aspects of calculus of relations and 2-permutability. Journal of Algebra and Applications. Vol. Art. no. 2650233, pp. 1-35.
|
|
YAMADA, Norihiro (2025). Game semantics of universes in Martin-Löf type theory. DMUC 25-31 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.
|
|
BERNARDES, Raquel (2025). Measure and integration on σ-sublocales. DMUC 25-17 Preprint.
|
|
CLEMENTINO, Maria Manuel, HOFMANN, Dirk, PREZADO, Rui (2025). Topological lax comma categories. DMUC 25-14 Preprint.
|
|
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.
|
|
JANELIDZE, George, SOBRAL, Manuela (2025). A note on idempotent semirings. Categories and General Algebraic Structures with Applications. Vol. 22. 1, pp. 175-180.
|
