2 papers
cs.LO2026
Extracting total Amb programs from proofs
Ulrich Berger, Hideki Tsuiki
We present a logical system CFP (Concurrent Fixed Point Logic) supporting the extraction of nondeterministic and concurrent programs that are provably total and correct. CFP is an…
cs.LO2026
Uniform Realizability Interpretations
Ulrich Berger, Paulo Oliva
This work introduces a novel framework of uniform realizability that unifies and generalizes various realizability interpretations of logic, particularly focussing on the treatment…