Journal Articles
Mathematical Structures in Computer Science
Year : 2017
Jean Goubault-Larrecq : Connect in order to contact the contributor
https://inria.hal.science/hal-03189640
Submitted on : Sunday, April 4, 2021-3:14:37 PM
Last modification on : Friday, August 5, 2022-2:58:08 PM
Cite
Jean Goubault-Larrecq. Isomorphism theorems between models of mixed choice. Mathematical Structures in Computer Science, 2017, 27 (6), pp.1032-1067. ⟨10.1017/S0960129515000547⟩. ⟨hal-03189640⟩
Collections
39
View
0
Download