Commit 2024-07-03 10:14 5d74b273

View on Github →

feat: the Dialectica category (#14274) Co-authored with Valeria de Paiva. This defines the category Dial(C) which is a categorical interpretation of Gödel's "Dialectica interpretation" of higher order arithmetic.

Estimated changes