For the Linguistics portion of my undergraduate degree, I was required to write a short thesis:

Recursion and the lambda-calculus

This paper discusses the equivalence between the recursive functions and the lambda-calculus. It also gives some historical perspective. I do not claim any of the ideas to be original contributions.