Accepted MFPS Papers
- Bart Jacobs. A fresh look at Bivariate Binomial Distributions (PDF)
- Bart Jacobs, Márk Széles and Dario Stein. Compositional Inference for Bayesian Networks and Causality (PDF)
- Matteo Mio. Compact Quantitative Theories of Convex Algebras (PDF)
- Alex Simpson and Janez Ignacij Jereb. Safety, Relative Tightness and the Probabilistic Frame Rule (PDF)
- Victor Barroso-Nascimento, Ekaterina Piotrovskaya and Elaine Pimentel. A Proof-Theoretic Approach to the Semantics of Classical Linear Logic (PDF)
- Lukas Mulder, Paige North and Maximilien Péroux. Functoriality of Enriched Data Types (PDF)
- Pablo Barenbaum, Simona Ronchi Della Rocca and Cristian Sottile. Strong normalization through idempotent intersection types: a new syntactical approach (PDF)
- Marcelo Fiore, Ohad Kammar, Georg Moser and Sam Staton. Modular abstract syntax trees (MAST): substitution tensors with second-class sorts (PDF)
- Willem Heijltjes. The Functional Machine Calculus III: Control (PDF)
- Simcha van Collem, Niels van der Weide and Herman Geuvers. Initial Algebras of Domains via Quotient Inductive-Inductive Types (PDF)
- Anton Chernev, Corina Cirstea, Helle Hvid Hansen and Clemens Kupke. Unambiguous Acceptance of Thin Coalgebras (PDF)
- Maciej Piróg and Filip Sieczkowski. Strong Dinatural Transformations and Generalised Codensity Monads (PDF)
- Ryota Kojima and Corina Cirstea. Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics (PDF)
- James Brotherston, Quang Loc Le, Gauri Desai and Yukihiro Oda. Cyclic Proofs in Hoare Logic and its Reverse (PDF)
- C.B. Aberlé and David Spivak. Polynomial Universes in Homotopy Type Theory (PDF)
- Clément Aubert and Jean Krivine. Reversible computations are computations (PDF)
- Elena Di Lavore, Mario Román, Paweł Sobociński and Márk Széles. Order in Partial Markov Categories (PDF)
- Benjamin Plummer and Corina Cirstea. Traces via Strategies in Two-Player Games (PDF)