User talk:Henk Barendregt

Welcome
Welcome to Wikipedia. If you are going to edit articles like lambda calculus with the username "Henk Barendregt", you should create a user page here that says whether you are the same person as Henk Barendregt. Whether you are the same person, or not, thanks very much for your contributions. -- Dominus (talk) 15:18, 8 September 2008 (UTC)

Lambda Calculus
Thanks for correcting the article. It's really nice when posting an "expert needed" tag on Wikipedia gets a real-life expert to fix the article! (The only other instance I recall is Martin Davis contributing to the article on Hilbert's tenth problem.) I know you're probably busy and don't want to spend more time here than strictly necessary to avoid the spread of misinformation, but perhaps you could clarify what was the deal with the "consistent part of original lambda calculus" given that on p.26 here you write that the lambda calculus is consistent in the sense that true and false are distinct beta normal forms. Thanks. Pcap ping  10:24, 9 August 2009 (UTC)