Volume 6: Proceedings of MFPS XLII

42nd Conference on the Mathematical Foundations of Programming Semantics

MFPS XLII;

Ljubljana, Slovenia; From 2026-06-01 To 2026-06-05