| 2016 | A Monad for Randomized Algorithms. Tyler Barker |
| 2016 | A Predicate/State Transformer Semantics for Bayesian Learning. Bart Jacobs, Fabio Zanasi |
| 2016 | Approximate Relational Hoare Logic for Continuous Random Samplings. Tetsuya Sato |
| 2016 | Binding Operators for Nominal Sets. Arthur Azevedo de Amorim |
| 2016 | Bitopology and Four-valued Logic. Tomas Jakl, Achim Jung, Ales Pultr |
| 2016 | Categorical Models of the Differential λ-Calculus Revisited. J. Robin B. Cockett, Jonathan Gallagher |
| 2016 | Classical Realizability in the CPS Target Language. Jonas Frey |
| 2016 | Coalgebraic Minimization of Automata by Initiality and Finality. Jurriaan Rot |
| 2016 | Complete Elgot Monads and Coalgebraic Resumptions. Sergey Goncharov, Stefan Milius, Christoph Rauch |
| 2016 | Effectuses from Monads. Bart Jacobs |
| 2016 | Giry and the Machine. Fredrik Dahlqvist, Vincent Danos, Ilias Garnier |
| 2016 | How to Think of Intersection Types as Cartesian Products. Rick Statman |
| 2016 | Iteration and Labelled Iteration. Bram Geron, Paul Blain Levy |
| 2016 | On the Representation of Semigroups and Other Congruences in the Lambda Calculus. Rick Statman |
| 2016 | Preface. Lars Birkedal |
| 2016 | Programs as Data Structures in λSF-Calculus. Barry Jay |
| 2016 | Reducing Complex CSP Models to Traces via Priority. David Mestel, A. W. Roscoe |
| 2016 | The Algebra of Partial Equivalence Relations. Fabio Zanasi |
| 2016 | The Shuffle Quasimonad and Modules with Differentiation and Integration. Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay |
| 2016 | The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016 Lars Birkedal |