- Yuxu Chen, Hui Kou, Zhenchao Lyu, Xiaolin Xie. A construction of free dcpo-cones. Mathematical Structures in Computer Science, 34(1):63-79, 2024.
- Sergey Goncharov 0001, Dirk Hofmann, Pedro Nora, Lutz Schröder, Paul Wild. A point-free perspective on lax extensions and predicate liftings. Mathematical Structures in Computer Science, 34(2):98-127, 2024.
- Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler. Two-level type theory and applications - ERRATUM. Mathematical Structures in Computer Science, 34(1):80, 2024.
- Jirí Rosický. Discrete equational theories. Mathematical Structures in Computer Science, 34(2):147-160, 2024.
- David Fernández Duque, Quentin Gougeon. Fixed point logics and definable topological properties. Mathematical Structures in Computer Science, 34(2):81-97, 2024.
- Huijun Hou, Hualin Miao, Qingguo Li. The order-K-ification monads. Mathematical Structures in Computer Science, 34(1):45-62, 2024.
- Daowen Qiu. Learning quantum finite automata with queries. Mathematical Structures in Computer Science, 34(2):128-146, 2024.
- Alejandro Díaz-Caro, Octavio Malherbe. A concrete model for a typed linear algebraic lambda calculus. Mathematical Structures in Computer Science, 34(1):1-44, 2024.
- Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler. Two-level type theory and applications. Mathematical Structures in Computer Science, 33(8):688-743, 2023.
- Salah M. Elsayed, Keng Meng Ng. Computable soft separation axioms. Mathematical Structures in Computer Science, 33(9):781-808, 2023.