research
∙
05/17/2023
Concurrent Gaussian elimination
Working in a semi-constructive logical system that supports the extracti...
share
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
