The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical uses of the untyped lambda calculus , and it exhibits many desirable and interesting properties .
It is the canonical and simplest example of a typed lambda calculus .
The simply typed lambda calculus was originally introduced by Alonzo Church in 1940 as an attempt to avoid paradoxical uses of the untyped lambda calculus , and lambda calculus exhibits many desirable and interesting properties .
It is the canonical and simplest example of a typed lambda calculus .