Mathematica MathWorld Wolfram Science More »

HOME

TOPICS

LATEST

Arithmetic in Lambda Calculus


	Shows the lambda calculus expressions for the indicated operations.


	Contributed by: Enrique Zeleny Based on programs by: John W. Gray
	Show Initialization Code

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.

Combinator (Wolfram MathWorld)

Lambda Calculus (Wolfram MathWorld)

"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

Report an issue »

Interact with Demonstrations using the latest version of the free Mathematica Player—Download Now

Browse all topics

	Source page:
	Email	Name (optional)
	Occupation (optional)	Organization (optional)
	I use Mathematica often occasionally never
	Country (optional) Remember me
	Note: Please do not include anything you consider confidential or proprietary. Your message and contact information may be shared with the author of any specific Demonstration for which you give feedback, but will not otherwise be published or distributed. Privacy Policy »

Wolfram Research

Site Index

RSS

Atom