| 2023 | Patch Locale of a Spectral Locale in Univalent Type Theory. Ayberk Tosun, Martín Hötzel Escardó |
| 2022 | A Categorical Normalization Proof for the Modal Lambda-Calculus. Jason Z. S. Hu, Brigitte Pientka |
| 2022 | A Complete Diagrammatic Calculus for Boolean Satisfiability. Tao Gu, Robin Piedeleu, Fabio Zanasi |
| 2022 | Bi-invariance for Uniform Strategies on Event Structures. Hugo Paquet |
| 2022 | Call-By-Name Is Just Call-By-Value with Delimited Control. Mateusz Pyzik |
| 2022 | Category-Graded Algebraic Theories and Effect Handlers. Takahiro Sanada |
| 2022 | Classifying topoi in synthetic guarded domain theory. Daniele Palombi, Jonathan Sterling |
| 2022 | Continuous Functions on Final Comodels of Free Algebraic Theories. Tomoya Yoshida |
| 2022 | Data Layout from a Type-Theoretic Perspective (extended version). Henry DeYoung, Frank Pfenning |
| 2022 | Extended Addressing Machines for PCF, with Explicit Substitutions. Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich |
| 2022 | Free Commutative Monoids in Homotopy Type Theory. Vikraman Choudhury, Marcelo Fiore |
| 2022 | Guarded Kleene Algebra with Tests: Automata Learning. Stefan Zetzsche, Alexandra Silva, Matteo Sammartino |
| 2022 | Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem. Paul-André Melliès, Noam Zeilberger |
| 2022 | Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022 Justin Hsu, Christine Tasson |
| 2022 | Revisiting Decidable Bounded Quantification, via Dinaturality. James Laird |
| 2022 | Sufficient Statistics and Split Idempotents in Discrete Probability Theory. Bart Jacobs |
| 2022 | The Functional Machine Calculus. Willem Heijltjes |
| 2022 | The Internal Operads of Combinatory Algebras. Masahito Hasegawa |
| 2022 | Weakening and Iterating Laws using String Diagrams. Alexandre Goy |