next up previous contents
Next: Simply typed lambda calculus Up: Functional programming Previous: Making sense of terms   Contents

Introducing types into the lambda calculus

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