Partial Evaluation and Automatic Program Generation

http://www.itu.dk/people/sestoft/pebook/jonesgomardsestoft-a4.pdf

On the reception and detection of pseudo-profound bullshit

http://journal.sjdm.org/15/15923a/jdm15923a.pdf

Binary Lambda Calculus and Combinatory Logic

https://tromp.github.io/cl/LC.pdf