lambda

The Lambda Widget martin Sat, 03/02/2013 - 14:29
Topic

2013

Example


Alpha conversion (Rewrite of bound variables):-

Any abstraction λ<variable1>.<expr> can be converted to λ<variable2>.<expr>/.<variable1> -><variable2> provided the substitution <expr> /. <variable1> -> <variable2> is sound.

Lambda Applet martin Sat, 03/02/2013 - 14:22
Topic

Example


2013

Alpha conversion (Rewrite of bound variables):-

Any abstraction λ<variable1>.<expr> can be converted to λ<variable2>.<expr>/.<variable1> -><variable2> provided the substitution <expr> /. <variable1> -> <variable2> is sound.

Roll your own [Lambda Calculus] martin Sat, 02/16/2013 - 22:59
Topic

2013

You can try your own exercises here. Type in, or edit, in the lower panel then select and press 'Start from selection'. To show the starting formula for a reduction and the target formula, use the double headed arrow and put the start to the left and the target to the right.

Supplement martin Sat, 02/16/2013 - 13:37
Topic
Combinators III: Recursion and the Fixpoint Combinator (alternate using Java applets martin Fri, 02/15/2013 - 17:06
Topic
Combinators II: Lists and Numbers (alternate using Java applets) martin Fri, 02/15/2013 - 14:10
Topic
Combinators I: True, False, Conditional (alternate using Java applets) martin Thu, 02/14/2013 - 22:03
Topic
Normal Forms and Termination (alternate using Java applets) martin Thu, 02/14/2013 - 21:40
Topic
The Rules of the Lambda Calculus (alternate using Java applets) martin Thu, 02/14/2013 - 14:45
Topic
The Basic Grammar of Lambda Expressions (alternate using Java applets) martin Wed, 02/13/2013 - 16:00
Topic