https://github.com/tarao/LambdaJS
http://matt.might.net/articles/js-church/code/church.js
https://files.nyu.edu/cb125/public/Lambda/
https://github.com/matthewSorensen/church.js
https://github.com/MatrixFrog/church_js
http://dankogai.typepad.com/blog/2006/03/lambda_calculus.html
Research background