“Reflection plays in several ways a fundamental role for our existence. Among other places the phenomenon occurs in life, in language, in computing and in mathematical reasoning.

A prototype situation where reflection occurs is in the so called lambda calculus. This is a formal theory that is capable of describing algorithms, logical and mathematical proofs, but also itself.” –Henk Barendregt

• “Reflection and its use, from science to meditation” ftp://ftp.cs.kun.nl/pub/CompMath.Found/honours.pdf
• “Reflection and its use, with an emphasis on languages and lambda calculus” ftp://ftp.cs.kun.nl/pub/CompMath.Found/biologen.pdf