What reduction is this?

It ends in the Church encoding of 2.

Can you guess what is this? (click on the big image to see it better)

 

pred_1

 

As you see, you may ask:

  • what kind of evaluation strategy is this?
  • are there reduction steps and self-multiplication steps?
  • is this in lambda calculus?
  • what can we learn from this particular example?

_______________________________________________

 

Advertisements

One thought on “What reduction is this?”

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