- Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer. Two-layered logics for probabilities and belief functions over Belnap-Dunn logic. Mathematical Structures in Computer Science, 35, 2025.
- Martín Santiago Moroni, Pedro Sánchez Terraf. A classification of bisimilarities for general Markov decision processes. Mathematical Structures in Computer Science, 35, 2025.
- Guojun Wu, Luoshan Xu, Wei Yao. sL-approximation spaces capture sL-domains. Mathematical Structures in Computer Science, 35, 2025.
- Furio Honsell, Marina Lenisa, Ivan Scagnetto. Principal types as partial involutions. Mathematical Structures in Computer Science, 35, 2025.
- Thomas Ehrhard, Aymeric Walch. Coherent Taylor expansion as a bimonad. Mathematical Structures in Computer Science, 35, 2025.
- Xian Xu 0001, Yan Huang, Zhihuan Yao. On higher-order communication in ambient calculi. Mathematical Structures in Computer Science, 35, 2025.
- David Sprunger, Shin-ya Katsumata. Differentiable causal computations via delayed trace (extended version). Mathematical Structures in Computer Science, 35, 2025.
- Patrick Blackburn, Torben Braüner, Julie Lundbak Kofod. Prior's ideal language. Mathematical Structures in Computer Science, 35, 2025.
- Marcelo Fiore. An axiomatics and a combinatorial model of creation/annihilation operators. Mathematical Structures in Computer Science, 35, 2025.
- Gaolin Li, Chong Shen 0003, Kaiyun Wang, Xiaoyong Xi, Dongsheng Zhao. The set of maximal points of an $\boldsymbol{\omega}$ -domain need not be a $\boldsymbol{G}_{\boldsymbol{\delta}}$ -set. Mathematical Structures in Computer Science, 35, 2025.