MFPS 2024 Accepted Papers

Amin Farjudian and Achim Jung. Continuous Domains for Function Spaces Using Spectral Compactification

Alex Kavvos. Two-dimensional Kripke Semantics II: Stability and Completeness

Samson Abramsky, Yoàv Montacute and Nihil Shah. Linear Arboreal Categories

Jean-Simon Lemay. An Ultrametric for Cartesian Differential Categories for Taylor Series Convergence

Thibaut Benjamin, Ioannis Markakis and Chiara Sarti. CaTT contexts are finite computads

Bas van den Heuvel, Daniele Nantes-Sobrinho, Joseph Paulus and Jorge A. Pérez. Typed Non-determinism in Concurrent Calculi: The Eager Way

Elies Harington and Samuel Mimram. Polynomials in homotopy type theory as a Kleisli category

Owen Lynch, Kris Brown, James Fairbanks and Evan Patterson. GATlab: Modeling and Programming with Generalized Algebraic Theories

Harrison Grodin and Robert Harper. Amortized Analysis via Coalgebra

Alexander Gheorghiu, Tao Gu and David Pym. Inferentialist Resource Semantics

Jan Jurka, Stefan Milius and Henning Urbat. Algebraic Reasoning over Relational Structures

Daniel Luckhardt, Harsh Beohar and Sebastian Küpper. On Kleisli extensions and decorated trace semantics

Willem Heijltjes. The Functional Machine Calculus III: Choice (Early Announcement)

Cécilia Pradic and Ian Price. Implicit automata in λ-calculi III: affine planar string-to-string functions

Robert Atkey and Wen Kokke. A Semantic Proof of Generalised Cut Elimination for Deep Inference

Yue Niu, Jonathan Sterling and Robert Harper. Cost-sensitive computational adequacy of higher-order recursion in synthetic domain theory

Jack Liell-Cock and Sam Staton. Early announcement: Compositional models for imprecise probability

Ali Khan Caires Ribeiro, Maribel Fernandez and Daniele Nantes-Sobrinho. A strong nominal semantics for fixed-point constraints

Beniamino Accattoli and Jui-Hsuan Wu. Positive Focusing is Directly Useful

C.B. Aberlé. Parametricity via Cohesion

Pierre Cagne and Patricia Johann. Early Announcement: Relational parametricity in the presence of GADTs

Matteo Capucci, Bruno Gavranovic, Abdullah Malik, Francisco Rios and Jonathan Weinberger. On a fibrational construction for optics, lenses, and Dialectica categories

Sponsor of inclusivity		CyberCat