Monadic Intersection Types, Relationally | Publicación