The Gödel Fibration

Authors

Davide Trotta

Matteo Spadetto

Valeria de Paiva

Doi

10.4230/LIPIcs.MFCS.2021.87