TY  - RPRT
TI  - Dialectica Principles via Gödel Doctrines
AU  - Davide Trotta
AU  - Matteo Spadetto
AU  - Valeria de Paiva
PY  - 2022
DO  - 10.1016/j.tcs.2023.113692
UR  - https://arxiv.org/abs/2205.07093
ID  - 2205.07093
ER  -