@unpublished{chargueraud:hal-03255472, TITLE = {{Omnisemantics: Smooth Handling of Nondeterminism}}, AUTHOR = {Chargu{\'e}raud, Arthur and Chlipala, Adam and Erbsen, Andres and Gruetter, Samuel}, URL = {https://inria.hal.science/hal-03255472}, NOTE = {working paper or preprint}, YEAR = {2022}, MONTH = Sep, PDF = {https://inria.hal.science/hal-03255472v3/file/omnisemantics.pdf}, HAL_ID = {hal-03255472}, HAL_VERSION = {v3}, }