TY  - RPRT
TI  - Axiomatization of if-then-else over monoids of possibly non-halting programs and tests
AU  - Gayatri Panicker
AU  - K. V. Krishna
AU  - Purandar Bhaduri
PY  - 2017
UR  - https://arxiv.org/abs/1702.05752
ID  - 1702.05752
ER  -