For those interested in the history of computing: the article mentions that the algorithm "seems to have been discovered independently multiple times over the

For those interested in the history of computing: the article mentions that the algorithm "seems to have been discovered independently multiple times over the years". Interestingly, it also seems to have been discovered by Max Newman [1] , who, at some point, was Alan Turing's supervisor. See [2, 3]. [1] M. H. Newman, Stratified Systems Of Logic. https://www.classes.cs.uchicago.edu/archive/2007/spring/32001-1/papers/newman.pdf https://www.classes.cs.uchicago.edu/archive/2007/spring/3200... [2] J. R. Hindley, M. H. Newmans Typability Algorithm for Lambda-Calculus. [3] H. Geuvers, Newmans Typability Algorithm. https://www.cs.ru.nl/~herman/computing2011.pdf https://www.cs.ru.nl/~herman/computing2011.pdf