research
∙
05/17/2023
Concurrent Gaussian elimination
Working in a semi-constructive logical system that supports the extracti...
share
research
∙
05/11/2023
How Much Partiality Is Needed for a Theory of Computability?
Partiality is a natural phenomenon in computability that we cannot get a...
research
∙
05/29/2021
Computing with Infinite Objects: the Gray Code Case
Infinite Gray code has been introduced by Tsuiki <cit.> as a redundancy-...
research
∙
04/11/2020