TY - RPRT TI - Smart Choices and the Selection Monad AU - Martin Abadi AU - Gordon Plotkin PY - 2023 DO - 10.46298/lmcs-19(2:3)2023 UR - https://arxiv.org/abs/2007.08926 ID - 2007.08926 ER -