1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Lorenzo Galeotti, Hugo Nobrega
In this paper we use infinitary Turing machines with tapes of length κ and which run for time κ as presented, e.g., by Koepke \& Seyfferth, to generalise the notion of type two…