Infinitary computability publications