Volume 6: Proceedings of MFPS XLII

42nd Conference on the Mathematical Foundations of Programming Semantics

MFPS XLII; N°42

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

Logic, Mathematics and Semantics;