Wolfram Demonstrations Project
8773

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.

RELATED LINKS

PERMANENT CITATION

"Arithmetic in Lambda Calculus" from the Wolfram Demonstrations Project
 http://demonstrations.wolfram.com/ArithmeticInLambdaCalculus/
Contributed by: Enrique Zeleny
Based on programs by: John W. Gray
    • 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.





Related Topics
 
RELATED RESOURCES
Mathematica »
 The #1 tool for creating Demonstrations
and anything technical. 		Wolfram|Alpha »
 Explore anything with the first
computational knowledge engine. 		MathWorld »
 The web's most extensive
mathematics resource. 		Course Assistant Apps »
 An app for every course—
right in the palm of your hand.
Wolfram Blog »
 Read our views on math,
science, and technology. 		Computable Document Format »
 The format that makes Demonstrations
(and any information) easy to share and interact with. 		STEM Initiative »
 Programs & resources for
educators, schools & students. 		Computerbasedmath.org »
 Join the initiative for modernizing
math education.
Powered by Wolfram Mathematica © 2013 Wolfram Demonstrations Project & Contributors  |  Terms of Use  |  Privacy Policy  |  RSS Give us your feedback
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to Mathematica Player 7EX
I already have Mathematica Player or Mathematica 7+