| September 22, 1999 | Strong Typing | Slide #2 |
What is computable?
What are the limits of computers?
Real computers are too hard to study
We need an abstract model
Abstract model: Turing Machines
Abstract model: Lambda Calculus
| Next | |
Copyright © 1999 M-J. Dominus |