User loginNavigation 
Reflections on reflection  Henk Barendregt(Link)Here's something to exercise both brain hemispheres. Henk Barendregt needs no introduction for many LtU readers  he literally wrote "the book" on the lambda calculus, and that only hints at the profound impact his work has had on lambda calculus and type theory.The page linked above lists two overlapping papers, both about reflection:
As the first paragraph quoted above implies, the scope of these two papers extends far beyond the lambda calculus, into fields such as biology and meditation. Between the two papers, there's something for everyone: "Reflection and its use, from science to meditation" is wideranging, covering reflection related to living cells, formal languages, mathematics, art, computers, and the human mind. "Reflection and its use, with an emphasis on languages and lambda calculus", focuses specifically on reflection in formal languages, including combinatory logic and lambda calculus.
By Anton van Straaten at 20040713 16:32  Fun  General  Lambda Calculus  other blogs  10949 reads

Browse archivesActive forum topics 
Recent comments
9 hours 23 min ago
10 hours 57 sec ago
11 hours 19 min ago
11 hours 32 min ago
15 hours 40 min ago
16 hours 26 min ago
16 hours 26 min ago
22 hours 39 min ago
23 hours 2 min ago
23 hours 21 min ago