Comments on: Lambda Calculus http://www.manas.com.ar/lziliani/2008/03/28/lambda-calculus/ Thinking code Wed, 25 Jan 2012 15:29:11 +0000 hourly 1 http://wordpress.org/?v=3.3.1 By: Luis Ziliani, a.k.a. Beta » The long and winding road… to a master thesis http://www.manas.com.ar/lziliani/2008/03/28/lambda-calculus/#comment-1540 Luis Ziliani, a.k.a. Beta » The long and winding road… to a master thesis Fri, 13 Nov 2009 14:47:01 +0000 http://www.manas.com.ar/lziliani/?p=4#comment-1540 [...] the very start of my thesis, the key idea was to find a lambda calculus with explicit substitutions, indexes, and all the good properties (I refer the reader to all [...] [...] the very start of my thesis, the key idea was to find a lambda calculus with explicit substitutions, indexes, and all the good properties (I refer the reader to all [...]

]]> By: Lù http://www.manas.com.ar/lziliani/2008/03/28/lambda-calculus/#comment-1539 Lù Thu, 17 Apr 2008 14:19:33 +0000 http://www.manas.com.ar/lziliani/?p=4#comment-1539 Moi j'aime beaucoup le nom Albert pour un chien... (I didn't understand much about the rest of it... sorry, I came from a word -social science word- where x and y simply mean x and y!) Love, Lù Moi j’aime beaucoup le nom Albert pour un chien…

(I didn’t understand much about the rest of it… sorry, I came from a word -social science word- where x and y simply mean x and y!)

Love,

Lù

]]>