https://hal.inria.fr/hal-03189640
Contributor : Jean Goubault-Larrecq <>
Submitted on : Sunday, April 4, 2021 - 3:14:37 PM Last modification on : Tuesday, April 6, 2021 - 3:25:11 AM
Jean Goubault-Larrecq. Isomorphism theorems between models of mixed choice. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 27 (6), pp.1032-1067. ⟨10.1017/S0960129515000547⟩. ⟨hal-03189640⟩