Dialectica Logical Principles.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Browse the full LFCS paper archive.