α-register machines

Merlin Carl. α-register machines. Computability, 13(3-4):299-324, 2024. [doi]

Abstract

Abstract is missing.