John Tromp

John Tromp is a Dutch computer scientist. He formerly worked for the Dutch Centre for Mathematics and Computer Science. Tromp discovered the number of legal states of the board game Go, and co-authored with Bill Taylor the Tromp–Taylor rules, which they call "the logical rules of Go".

He is also known for his work in binary combinatory logic (binary lambda calculus) and lambda diagrams that supply a graphical way of representing lambda calculus expressions.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.