Philip Welch. Higher Type Recursion for Transfinite Machine Theory. In Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero, editors, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings. Volume 11558 of Lecture Notes in Computer Science, pages 72-83, Springer, 2019. [doi]
Abstract is missing.