On the algorithmic structure of Dialectica programs.

Wed, 01 Jan 2025 00:00:00 +0100

Davide Barbarossa, Thomas Powell:
On the algorithmic structure of Dialectica programs. CoRR abs/2501.16208 (2025)