TY  - RPRT
TI  - Conditional logic as a short-circuit logic
AU  - Jan A. Bergstra
AU  - Alban Ponse
PY  - 2025
DO  - 10.47743/sacs.2025.2.161
UR  - https://arxiv.org/abs/2304.14821
ID  - 2304.14821
ER  -