| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Isomorphism theorems between models of mixed choice
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
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
Links full text
