http haskell cs yale edu wp content uploads…

http://haskell.cs.yale.edu/wp-content/uploads/2011/01/cs.pdf

pg 11 has information on the Y combinator. Wikipedia has a better explanation of the proof. https://en.wikipedia.org/wiki/Fixed-point_combinator#Fixed_point_combinators_in_lambda_calculus

Now I understand the proof, but I’m still confused on how it “simulates” recursion.

Advertisements

Tags:

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s


%d bloggers like this: