research
∙
05/17/2023
Concurrent Gaussian elimination
Working in a semi-constructive logical system that supports the extracti...
share
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/29/2021
Extracting total Amb programs from proofs
We present a logical system CFP (Concurrent Fixed Point Logic) from whos...
research
∙
02/01/2020