The Gdel Fibration.

Davide Trotta, Matteo Spadetto, Valeria de Paiva

Browse the full MFCS paper archive.