Arithmetic in Lambda Calculus

Shows the lambda calculus expressions for the indicated operations.

THINGS TO TRY

SNAPSHOTS

  • [Snapshot]
  • [Snapshot]
  • [Snapshot]

DETAILS

For further details about the complete description of the operational semantics of the lambda calculus, see J. W. Gray, Mastering Mathematica: Programming Methods and Applications, 2nd ed., San Diego, CA: Academic Press, 1998.
    • Share:

Embed Interactive Demonstration New!

Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details »

Files require Wolfram CDF Player or Mathematica.