- Martin Hofmann 0001, Lorenz Leutgeb, David Obwaller, Georg Moser, Florian Zuleger. Type-based analysis of logarithmic amortised complexity. Mathematical Structures in Computer Science, 32(6):794-826, June 2022.
- Makoto Hamana. Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding. Mathematical Structures in Computer Science, 32(4):542-573, April 2022.
- Loïc Mazo, Marie-Andrée Jacob-Da Col, Laurent Fuchs, Nicolas Magaud, Gaëlle Skapin. Some representations of real numbers using integer sequences. Mathematical Structures in Computer Science, 32(5):648-681, May 2022.
- Jan Hoffmann 0002, Steffen Jost. Two decades of automatic amortized resource analysis. Mathematical Structures in Computer Science, 32(6):729-759, June 2022.
- Chong Shen 0003, Xiaoyong Xi, Xiaoquan Xu, Dongsheng Zhao. Hofmann-Mislove type definitions of non-Hausdorff spaces. Mathematical Structures in Computer Science, 32(1):111-124, 2022.
- Hans Leiß. An algebraic representation of the fixed-point closure of *-continuous Kleene algebras - A categorical Chomsky-Schützenberger theorem. Mathematical Structures in Computer Science, 32(6):685-728, June 2022.
- Jirí Adámek, Matej Dostál, Jiri Velebil. A categorical view of varieties of ordered algebras. Mathematical Structures in Computer Science, 32(4):349-373, April 2022.
- Longchun Wang, Qingguo Li. Consistent disjunctive sequent calculi and Scott domains. Mathematical Structures in Computer Science, 32(2):127-150, 2022.
- Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev. Rogers semilattices of punctual numberings. Mathematical Structures in Computer Science, 32(2):164-188, 2022.
- Ugo Dal Lago. Implicit computation complexity in higher-order programming languages: A Survey in Memory of Martin Hofmann. Mathematical Structures in Computer Science, 32(6):760-776, June 2022.