Abstract is missing.
- PrefacePatricia Johann. 1-3 [doi]
- Weakest Preconditions in FibrationsAlejandro Aguirre 0001, Shin-ya Katsumata. 5-27 [doi]
- Bifibrations of Polycategories and Classical Linear LogicNicolas Blanco, Noam Zeilberger. 29-52 [doi]
- Towards a Classification of Behavioural Equivalences in Continuous-time Markov ProcessesLinan Chen, Florence Clerc, Prakash Panangaden. 53-77 [doi]
- Equational Logic and Categorical Semantics for Multi-LanguagesSamuele Buro, Roy L. Crole, Isabella Mastroeni. 79-103 [doi]
- Domain Theoretic Second-Order Euler's Method for Solving Initial Value ProblemsAbbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson. 105-128 [doi]
- Monads, Partial Evaluations, and RewritingTobias Fritz, Paolo Perrone. 129-148 [doi]
- Parametrized Fixed Points and Their Applications to Session TypesRyan Kavanagh. 149-172 [doi]
- Continuous MonadsErnie Manes. 173-190 [doi]
- A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation TheoremThomas Paine. 191-209 [doi]
- A Complete Equational Axiomatisation of Partial DifferentiationGordon D. Plotkin. 211-232 [doi]
- Eilenberg-Kelly ReloadedTarmo Uustalu, Niccolò Veltri, Noam Zeilberger. 233-256 [doi]
- Combining Algebraic Effect Descriptions Using the Tensor of Complete LatticesNiels F. W. Voorneveld. 257-281 [doi]
- Hennessy-Milner Results for Probabilistic PDLTao Gu, Alexandra Silva 0001, Fabio Zanasi. 283-304 [doi]