Working in a semi-constructive logical system that supports the extracti...
Partiality is a natural phenomenon in computability that we cannot get
a...
Infinite Gray code has been introduced by Tsuiki <cit.> as a
redundancy-...
A uniform approach to computing with infinite objects like real numbers,...