Branching Out: Existential External Choice in Effpi. - Benjamin Robinson; Nobuko Yoshida (CoRR, 2026)