# lambda

Normal Order Reductions in Simply Typed Lambda Calculus Widget martin Tue, 01/28/2020 - 12:39
Topic
###### 1/28/2020

The Lambda Verbose Parse Widget martin Sun, 01/26/2020 - 13:20
Topic
###### 1/24/2020

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

## 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 Reduction Widget martin Sat, 03/02/2013 - 14:29
Topic

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