| 2020 | A Complete Equational Axiomatisation of Partial Differentiation. Gordon D. Plotkin |
| 2020 | A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem. Thomas Paine |
| 2020 | Bifibrations of Polycategories and Classical Linear Logic. Nicolas Blanco, Noam Zeilberger |
| 2020 | Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. Niels F. W. Voorneveld |
| 2020 | Continuous Monads. Ernie Manes |
| 2020 | Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson |
| 2020 | Eilenberg-Kelly Reloaded. Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger |
| 2020 | Equational Logic and Categorical Semantics for Multi-Languages. Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2020 | Hennessy-Milner Results for Probabilistic PDL. Tao Gu, Alexandra Silva, Fabio Zanasi |
| 2020 | Monads, Partial Evaluations, and Rewriting. Tobias Fritz, Paolo Perrone |
| 2020 | Parametrized Fixed Points and Their Applications to Session Types. Ryan Kavanagh |
| 2020 | Preface. Patricia Johann |
| 2020 | Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020 Patricia Johann |
| 2020 | Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. Linan Chen, Florence Clerc, Prakash Panangaden |
| 2020 | Weakest Preconditions in Fibrations. Alejandro Aguirre, Shin-ya Katsumata |