Axiomatization of if-then-else over monoids of possibly non-halting programs and tests

Gayatri Panicker, K. V. Krishna, Purandar Bhaduri

In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, the notion of $C$-sets was introduced in the literature by consider…