Turing-Completeness Totally Free

Conor McBride. Turing-Completeness Totally Free. In Ralf Hinze, Janis Voigtländer, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Volume 9129 of Lecture Notes in Computer Science, pages 257-275, Springer, 2015. [doi]