Nathanael Leedom Ackerman, Cameron E. Freer. A Notion of a Computational Step for Partial Combinatory Algebras. In T.-H. Hubert Chan, Lap Chi Lau, Luca Trevisan, editors, Theory and Applications of Models of Computation, 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013. Proceedings. Volume 7876 of Lecture Notes in Computer Science, pages 133-143, Springer, 2013. [doi]
Abstract is missing.