| 2020 | Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. | Niels F. W. Voorneveld |
| 2020 | Eilenberg-Kelly Reloaded. | Tarmo Uustalu, Niccol Veltri, Noam Zeilberger |
| 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 | Continuous Monads. | Ernie Manes |
| 2020 | Parametrized Fixed Points and Their Applications to Session Types. | Ryan Kavanagh |
| 2020 | Preface. | Patricia Johann |
| 2020 | Hennessy-Milner Results for Probabilistic PDL. | Tao Gu, Alexandra Silva, Fabio Zanasi |
| 2020 | Monads, Partial Evaluations, and Rewriting. | Tobias Fritz, Paolo Perrone |
| 2020 | Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. | Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson |
| 2020 | Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. | Linan Chen, Florence Clerc, Prakash Panangaden |
| 2020 | Equational Logic and Categorical Semantics for Multi-Languages. | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
| 2020 | Bifibrations of Polycategories and Classical Linear Logic. | Nicolas Blanco, Noam Zeilberger |
| 2020 | Weakest Preconditions in Fibrations. | Alejandro Aguirre, Shin-ya Katsumata |
| 2003 | Chu Spaces, Concept Lattices, and Domains. | Guo-Qiang Zhang |
| 2003 | Compact Coverages Generate Spectral Frames. | Guo-Qiang Zhang |
| 2003 | A Type System for Robust Declassification. | Steve Zdancewic |
| 2003 | How Do Domains Model Topologies? | Pawel Waszkiewicz |
| 2003 | Generic Transforms on Incomplete Specifications of Asynchronous Interfaces. | Radu Negulescu |
| 2003 | On the Semantics of the Bad-Variable Constructor in Algol-like Languages. | Guy McCusker |
| 2003 | Contextual Equivalence for Higher-Order π-Calculus Revisited. | Alan Jeffrey, Julian Rathke |
| 2003 | Intensional Double Glueing, Biextensional Collapse, and the Chu Construction. | Dominic Hughes |
| 2003 | The Security Picalculus and Non-interference (Extended Abstract). | Matthew Hennessy |
| 2003 | Domain-theoretic Solution of Differential Equations (Scalar Fields). | Abbas Edalat, Marko Krznaric, Andr Lieutier |
| 2003 | Towards the Correctness of Security Protocols. | Mourad Debbabi, Mohamed Mejri |