Dialectica Principles via Gödel Doctrines

Authors

Davide Trotta

Matteo Spadetto

Valeria de Paiva

Doi

10.1016/j.tcs.2023.113692