MFPS 2018 Pre-Proceedings

Download this page: [zip].

Richard Blute, Robin Cockett, Pierre-Alain Jacqmin and Philip Scott. Finiteness spaces and generalized power series. [pdf]
Robin Cockett and Jean-Simon Lemay. Cartesian integral categories and contextual integral categories. [pdf]
Thomas Cottrell, Soichiro Fujii and John Power. Higher dimensional categories: recursion on extensivity. [pdf]
Fredrik Dahlqvist, Vincent Danos, Ilias Garnier and Alexandra Silva. Borel kernels and their approximation, categorically. [pdf]
Tobias Fritz and Paolo Perrone. Bimonoidal structure of probability monads. [pdf]
Jules Hedges. Morphisms of open games. [pdf]
Chris Heunen, Robin Kaarsgaard and Martti Karvonen. Reversible effects as inverse arrows. [pdf]
Pieter Hofstra, Jason Parker and Philip Scott. Isotropy of algebraic theories. [pdf]
Naohiko Hoshino. Partial traces on additive categories. [pdf]
Ohad Kammar and Dylan McDermott. Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics. [pdf]
Bartek Klin and Julian Salamanca. Iterated covariant powerset is not a monad. [pdf]
Paul Blain Levy and Nathan Bowler. Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies. [pdf]
Ernie Manes and Philip Mulry. Near distributive laws. [pdf]
Yuichi Nishiwaki, Yoshihiko Kakutani and Yuito Murase. Modality via iterated enrichment. [pdf]
Hugo Paquet and Glynn Winskel. Continuous probability distributions in concurrent games. [pdf]
Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger. The sequent calculus of skew monoidal categories. [pdf]

In addition to these contributed papers, there will be four keynotes and eight invited special session presentations.