On Dialectica and Differentiation, via Categories.

Mon, 01 Jan 2024 00:00:00 +0100

Davide Barbarossa:
On Dialectica and Differentiation, via Categories. CoRR abs/2410.22494 (2024)