| 2016 | Semi-galois Categories I: The Classical Eilenberg Variety Theory. | Takeo Uramoto |
| 2016 | Plays as Resource Terms via Non-idempotent Intersection Types. | Takeshi Tsukada, C.-H. Luke Ong |
| 2016 | Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. | Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar |
| 2016 | Interaction Graphs: Full Linear Logic. | Thomas Seiller |
| 2016 | Factor Varieties and Symbolic Computation. | Antonino Salibra, Giulio Manzonetto, Giordano Favro |
| 2016 | Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems. | Viorel Preoteasa, Stavros Tripakis |
| 2016 | Gdel's functional interpretation and the concept of learning. | Thomas Powell |
| 2016 | Coinduction All the Way Up. | Damien Pous |
| 2016 | A constructive function-theoretic approach to topological compactness. | Iosif Petrakis |
| 2016 | Program Equivalence is Coinductive. | Dirk Pattinson, Lutz Schrder |
| 2016 | Solvability of Matrix-Exponential Equations. | Jol Ouaknine, Amaury Pouly, Joo Sousa Pinto, James Worrell |
| 2016 | Reasoning about Recursive Probabilistic Programs. | Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja |
| 2016 | Denotational semantics of recursive types in synthetic guarded domain theory. | Rasmus Ejlers Mgelberg, Marco Paviotti |
| 2016 | A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine. | Paul-Andr Mellis, Noam Zeilberger |
| 2016 | Church Meets Cook and Levin. | Damiano Mazza |
| 2016 | Quantitative Algebraic Reasoning. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2016 | Differential Refinement Logic. | Sarah M. Loos, Andr Platzer |
| 2016 | Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics. | Chuck C. Liang |
| 2016 | Ability to Count Messages Is Worth Θ(Δ) Rounds in Distributed Computing. | Tuomo Lempiinen |
| 2016 | The Complexity of Coverability in ν-Petri Nets. | Ranko Lazic, Sylvain Schmitz |
| 2016 | Fixed Points In Quantitative Semantics. | James Laird |
| 2016 | Infinitary Lambda Calculi from a Linear Perspective. | Ugo Dal Lago |
| 2016 | Two-variable Logic with a Between Relation. | Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing |
| 2016 | Constructions with Non-Recursive Higher Inductive Types. | Nicolai Kraus |
| 2016 | Weak consistency notions for all the CSPs of bounded width. | Marcin Kozik |