lambda

Simply Typed Lambda Calculus martin Tue, 09/24/2019 - 11:45
Topic
11/9/19

Introduction

The Lambda Calculus  that we have been looking at thus far has been the untyped Lambda Calculus. It is plenty interesting for sure, being able to provide a foundation for computability, programming languages, and many areas of linguistics and philosophy. But untyped Lambda calculus also has some features to be wary of; for example, some reduction sequences go on forever and never reduce the expression to a normal form.

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
9/18/19

You can try your own exercises here. Type in, or edit, in the lower panel then select and press 'Start from selection'.

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