A quantitative approach to global state composition

DOI10.1017/S0960129525100285MaRDI QIDQ6894544zbMATH OpenFDO

Authors Sandra Alves, Delia Kesner, Miguel Ramos

Publication date 25 November 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

effectscompositionglobal statequantitative types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

This page was built for publication: A quantitative approach to global state composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6894544)