Monadic Intersection Types, Relationally, and Ordered. - Galal, Zeinab; Gavazzo, Francesco; Treglia, Riccardo; Vanoni, Gabriele (ACM Transactions on Programming Languages & Systems, 2025)