Revision as of 03:31, 10 January 2014 edit Thepigdog (talk \| contribs) Extended confirmed users 5,174 edits →Existence of fixed-point combinators ← Previous edit		Revision as of 03:34, 10 January 2014 edit undo Thepigdog (talk \| contribs) Extended confirmed users 5,174 edits →Existence of fixed-point combinators Next edit →
Line 335: ::<math>(\lambda p.\lambda a.\lambda b.p\ b\ a)\ ((\lambda x.(\lambda p.\lambda a.\lambda b.p\ b\ a)\ (x\ x))\ (\lambda x.(\lambda p.\lambda a.\lambda b.p\ b\ a)\ (x\ x))) </math> ::<math>\lambda a.\lambda b.((\lambda x.(\lambda p.\lambda a.\lambda b.p\ b\ a)\ (x\ x))\ (\lambda x.(\lambda p.\lambda a.\lambda b.p\ b\ a)\ (x\ x)))\ b\ a </math> :: ... ::<math>\lambda a.\lambda b.(\lambda a.\lambda b.((\lambda x.(\lambda p.\lambda a.\lambda b.p\ b\ a)\ (x\ x))\ (\lambda x.(\lambda p.\lambda a.\lambda b.p\ b\ a)\ (x\ x)))\ b\ a)\ b\ a </math> :: ...

Talk:Fixed-point combinator: Difference between revisions