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.