Volume 5 - Proceedings of MFPS XLI

41st Conference on the Mathematical Foundaions of Programming Semantics

MFPS; N°41

University of Strathclyde, Glasgow, Scotland; From 2025-06-16 To 2025-06-21

Programming language semantics and its mathematical foundations;