On the Algorithmic Structure of Dialectica Realisers.

Thu, 01 Jan 2026 00:00:00 +0100

Davide Barbarossa , Thomas Powell:
On the Algorithmic Structure of Dialectica Realisers. CSL 2026: 22:1-22:22