* [Alan Turing](https://en.wikipedia.org/wiki/Alan_Turing)
* [Haskell Curry](https://en.wikipedia.org/wiki/Haskell_Curry)
* [John McCarthy](https://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29) <!-- "AI", Lisp -->
* [Alan Turing](https://en.wikipedia.org/wiki/Alan_Turing)
* [Haskell Curry](https://en.wikipedia.org/wiki/Haskell_Curry)
* [John McCarthy](https://en.wikipedia.org/wiki/John_McCarthy_%28computer_scientist%29) <!-- "AI", Lisp -->
* [Edsger Dijkstra](https://en.wikipedia.org/wiki/Edsger_W._Dijkstra)
* [Gordon Plotkin](https://en.wikipedia.org/wiki/Gordon_Plotkin)
* [Edsger Dijkstra](https://en.wikipedia.org/wiki/Edsger_W._Dijkstra)
* [Gordon Plotkin](https://en.wikipedia.org/wiki/Gordon_Plotkin)