Monadic Intersection Types, Relationally (Extended Version)

Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni

We extend intersection types to a computational $\lambda$-calculus with algebraic operations à la Plotkin and Power. We achieve this by considering monadic intersections, whereby computa…