| 2022 | Solvability for Generalized Applications. | Delia Kesner, Loc Peyrot |
| 2022 | Addition and Differentiation of ZX-Diagrams. | Emmanuel Jeandel, Simon Perdrix, Margarita Veshchezerova |
| 2022 | An Analysis of Tennenbaum's Theorem in Constructive Type Theory. | Marc Hermes, Dominik Kirst |
| 2022 | Normalization Without Syntax. | Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straburger |
| 2022 | A Stratified Approach to Lb Induction. | Daniel Gratzer, Lars Birkedal |
| 2022 | A Combinatorial Approach to Higher-Order Structure for Polynomial Functors. | Marcelo Fiore, Zeinab Galal, Hugo Paquet |
| 2022 | Adequate and Computational Encodings in the Logical Framework Dedukti. | Thiago Felicissimo |
| 2022 | Strategies for Asymptotic Normalization. | Claudia Faggian, Giulio Guerrieri |
| 2022 | Combined Hierarchical Matching: the Regular Case. | Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen |
| 2022 | Certified Decision Procedures for Two-Counter Machines. | Andrej Dudenhefner |
| 2022 | Linear Lambda-Calculus is Linear. | Alejandro Daz-Caro, Gilles Dowek |
| 2022 | A Fibrational Tale of Operational Logical Relations. | Francesco Dagnino, Francesco Gavazzo |
| 2022 | On Lookaheads in Regular Expressions with Backreferences. | Nariyoshi Chida, Tachio Terauchi |
| 2022 | Encoding Type Universes Without Using Matching Modulo Associativity and Commutativity. | Frdric Blanqui |
| 2022 | Restricting Tree Grammars with Term Rewriting. | Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof |
| 2022 | A Certified Algorithm for AC-Unification. | Mauricio Ayala-Rincn, Maribel Fernndez, Gabriel Ferreira Silva, Daniele Nantes Sobrinho |
| 2022 | mwp-Analysis Improvement and Implementation: Realizing Implicit Computational Complexity. | Clment Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller |
| 2022 | Rewriting for Monoidal Closed Categories. | Mario Alvarez-Picallo, Dan R. Ghica, David Sprunger, Fabio Zanasi |
| 2022 | A Graphical Proof Theory of Logical Time. | Matteo Acclavio, Ross Horne, Sjouke Mauw, Lutz Straburger |
| 2022 | Decision Problems for Linear Logic with Least and Greatest Fixed Points. | Anupam Das, Abhishek De, Alexis Saurin |
| 2022 | Constructing Unprejudiced Extensional Type Theories with Choices via Modalities. | Liron Cohen, Vincent Rahli |
| 2022 | Stateful Structural Operational Semantics. | Sergey Goncharov, Stefan Milius, Lutz Schrder, Stelios Tsampas, Henning Urbat |
| 2021 | Front Matter, Table of Contents, Preface, Conference Organization. | |
| 2021 | Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor. | Niccol Veltri |
| 2021 | Some Formal Structures in Probability (Invited Talk). | Sam Staton |