Next: Simply typed lambda calculus
Up: Functional programming
Previous: Making sense of terms
Contents
So far, we have been looking at the untyped lambda calculus.
What happens if we introduce types into the calculus?
Subsections
Madhavan Mukund
2004-04-29