36th International Conference on Mathematical Foundations of
Programming Semantics — MFPS 2020
Accepted Papers
- Gordon Plotkin. A complete axiomatisation of partial differentiation.
- Alejandro Aguirre and Shin-ya Katsumata. Weakest preconditions in
fibrations.
- Abbas Edalat, Amin Farjudian, Mina Mohammadian and Dirk
Pattinson. Domain Theoretic Second-Order Euler’s Method for Solving
Initial Value Problems.
- Tao Gu, Alexandra Silva and Fabio Zanasi. Hennessy-Milner Results for
Probabilistic PDL.
- Linan Chen, Florence Clerc and Prakash Panangaden. Towards a
classification of behavioural equivalences in continuous-time Markov
processes.
- Niels Voorneveld. Combining Algebraic Effect Descriptions using the
Tensor of Complete Lattices.
- Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger. Eilenberg-Kelly
reloaded.
- Paolo Perrone and Tobias Fritz. Monads, partial evaluations, and
rewriting.
- Thomas Paine. A pebbling comonad for finite rank and variable logic,
and an application to the equirank-variable homomorphism preservation
theorem.
- Ernest Manes. Continuous Monads.
- Roy Crole, Samuele Buro and Isabella Mastroeni. Equational Logic and
Categorical Semantics for Multi-Languages.
- Nicolas Blanco and Noam Zeilberger. Bifibrations of Polycategories and
Classical Linear Logic.
- Ryan Kavanagh. Some Properties of Parametrized Fixed Points on
O-Categories.