TY - RPRT TI - Isomorphism Theorems between Models of Mixed Choice (Revised) AU - Jean Goubault-Larrecq PY - 2025 UR - https://arxiv.org/abs/2411.13500 ID - 2411.13500 ER -