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]
@inproceedings{McBride15, title = {Turing-Completeness Totally Free}, author = {Conor McBride}, year = {2015}, doi = {10.1007/978-3-319-19797-5_13}, url = {http://dx.doi.org/10.1007/978-3-319-19797-5_13}, researchr = {https://researchr.org/publication/McBride15}, cites = {0}, citedby = {0}, pages = {257-275}, booktitle = {Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings}, editor = {Ralf Hinze and Janis Voigtländer}, volume = {9129}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-19796-8}, }