Comments on: Formalizing the Lambda Calculus http://pdf23ds.net/2009/04/05/formalizing-the-lambda-calculus/ I will not be swayed be every small current; nor will the memes faze me or infect me. I am pure. I am intelligent. I am rational. I am at peace. Wed, 08 Sep 2010 13:45:36 +0000 http://wordpress.org/?v=2.7.1 hourly 1 By: pdf23ds http://pdf23ds.net/2009/04/05/formalizing-the-lambda-calculus/comment-page-1/#comment-2178 pdf23ds Fri, 10 Apr 2009 22:36:15 +0000 http://pdf23ds.net/?p=219#comment-2178 Thanks for the pointer. Although your link has the disadvantage of being vaporware (no source!), I did get the good idea of not using parentheses for lambda abstraction to cut down on parenthetical clutter. It looks like no ambiguity results, if I fiddle around with my substitution syntax a bit. Thanks for the pointer. Although your link has the disadvantage of being vaporware (no source!), I did get the good idea of not using parentheses for lambda abstraction to cut down on parenthetical clutter. It looks like no ambiguity results, if I fiddle around with my substitution syntax a bit.

]]> By: Slawekk http://pdf23ds.net/2009/04/05/formalizing-the-lambda-calculus/comment-page-1/#comment-2177 Slawekk Fri, 10 Apr 2009 21:45:34 +0000 http://pdf23ds.net/?p=219#comment-2177 I am not sure you know that someone has worked on the formalization of lambda calculus in Metamath. The site is down but some traces of that can be found in Wayback Machine, look at planetx.cc.vt.edu/AsteroidMeta/Lambda_calculus_based_metamath_system I am not sure you know that someone has worked on the formalization of lambda calculus in Metamath. The site is down but some traces of that can be found in Wayback Machine, look at

planetx.cc.vt.edu/AsteroidMeta/Lambda_calculus_based_metamath_system

]]>