| HAL-Inria | Publications, software ... of Inria's scientists |
Journal articles
Full abstraction for non-deterministic and probabilistic extensions of PCF I: The angelic cases
https://hal.inria.fr/hal-03189818
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Monday, April 5, 2021 - 9:25:45 AM
Last modification on : Monday, December 13, 2021 - 9:17:21 AM
Contributor : Jean Goubault-Larrecq Connect in order to contact the contributor
Submitted on : Monday, April 5, 2021 - 9:25:45 AM
Last modification on : Monday, December 13, 2021 - 9:17:21 AM
Links full text
