29 May
2006
29 May
'06
2:43 p.m.
On 2006-05-29 at 19:03BST "Brian Hulley" wrote:
Dominic Steinitz wrote:
I think it's fascinating that already with ((.).(.)) there is something that can be used practically and proved equivalent to something easily comprehensible,
Well, it is compose composed with compose, so you can start from the idea that it's going to do something to do with composition and twoness...
Certainly it shows how much there is still to explore in terms of the inner landscape of lambda calculus.
You've read http://www.amazon.co.uk/exec/obidos/ASIN/0444875085/qid=1148927765/sr=1-1/re... I presume? ;-) It's a bestseller... -- Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk